Sort all translation JSON files alphabetically by language (#155)

- Keep English (en) as the first entry (required by conversion script)
- Sort all other languages alphabetically by language name
- Applied to all 15 directive type translation files
- Regenerated all locale .po and .mo files

This makes the translation files easier to maintain and review.
All 30 languages are preserved:
Arabic, Bulgarian, Chinese, Czech, Danish, Dutch, Finnish, French,
German, Greek, Hebrew, Hindi, Hungarian, Indonesian, Italian, Japanese,
Korean, Norwegian, Persian, Polish, Portuguese, Romanian, Russian,
Spanish, Swedish, Thai, Turkish, Ukrainian, Vietnamese

Author: mmcky

sphinx_proof/translations/jsons/Algorithm.json

@@ -1,32 +1,32 @@
 [
     {"language":"English","symbol":"en","text":"Algorithm"},
-    {"language":"Chinese","symbol":"zh_CN","text":"算法"},
-    {"language":"Spanish","symbol":"es","text":"Algoritmo"},
     {"language":"Arabic","symbol":"ar","text":"خوارزمية"},
-    {"language":"Hindi","symbol":"hi","text":"एल्गोरिदम"},
-    {"language":"Portuguese","symbol":"pt","text":"Algoritmo"},
-    {"language":"Russian","symbol":"ru","text":"Алгоритм"},
-    {"language":"Japanese","symbol":"ja","text":"アルゴリズム"},
+    {"language":"Bulgarian","symbol":"bg","text":"Алгоритъм"},
+    {"language":"Chinese","symbol":"zh_CN","text":"算法"},
+    {"language":"Czech","symbol":"cs","text":"Algoritmus"},
+    {"language":"Danish","symbol":"da","text":"Algoritme"},
+    {"language":"Dutch","symbol":"nl","text":"Algoritme"},
+    {"language":"Finnish","symbol":"fi","text":"Algoritmi"},
     {"language":"French","symbol":"fr","text":"Algorithme"},
     {"language":"German","symbol":"de","text":"Algorithmus"},
-    {"language":"Korean","symbol":"ko","text":"알고리즘"},
-    {"language":"Italian","symbol":"it","text":"Algoritmo"},
-    {"language":"Turkish","symbol":"tr","text":"Algoritma"},
-    {"language":"Vietnamese","symbol":"vi","text":"Thuật toán"},
-    {"language":"Polish","symbol":"pl","text":"Algorytm"},
-    {"language":"Dutch","symbol":"nl","text":"Algoritme"},
-    {"language":"Indonesian","symbol":"id","text":"Algoritma"},
-    {"language":"Thai","symbol":"th","text":"อัลกอริทึม"},
-    {"language":"Persian","symbol":"fa","text":"الگوریتم"},
-    {"language":"Ukrainian","symbol":"uk","text":"Алгоритм"},
     {"language":"Greek","symbol":"el","text":"Αλγόριθμος"},
-    {"language":"Czech","symbol":"cs","text":"Algoritmus"},
-    {"language":"Swedish","symbol":"sv","text":"Algoritm"},
     {"language":"Hebrew","symbol":"he","text":"אלגוריתם"},
-    {"language":"Romanian","symbol":"ro","text":"Algoritm"},
+    {"language":"Hindi","symbol":"hi","text":"एल्गोरिदम"},
     {"language":"Hungarian","symbol":"hu","text":"Algoritmus"},
-    {"language":"Danish","symbol":"da","text":"Algoritme"},
-    {"language":"Finnish","symbol":"fi","text":"Algoritmi"},
+    {"language":"Indonesian","symbol":"id","text":"Algoritma"},
+    {"language":"Italian","symbol":"it","text":"Algoritmo"},
+    {"language":"Japanese","symbol":"ja","text":"アルゴリズム"},
+    {"language":"Korean","symbol":"ko","text":"알고리즘"},
     {"language":"Norwegian","symbol":"no","text":"Algoritme"},
-    {"language":"Bulgarian","symbol":"bg","text":"Алгоритъм"}
+    {"language":"Persian","symbol":"fa","text":"الگوریتم"},
+    {"language":"Polish","symbol":"pl","text":"Algorytm"},
+    {"language":"Portuguese","symbol":"pt","text":"Algoritmo"},
+    {"language":"Romanian","symbol":"ro","text":"Algoritm"},
+    {"language":"Russian","symbol":"ru","text":"Алгоритм"},
+    {"language":"Spanish","symbol":"es","text":"Algoritmo"},
+    {"language":"Swedish","symbol":"sv","text":"Algoritm"},
+    {"language":"Thai","symbol":"th","text":"อัลกอริทึม"},
+    {"language":"Turkish","symbol":"tr","text":"Algoritma"},
+    {"language":"Ukrainian","symbol":"uk","text":"Алгоритм"},
+    {"language":"Vietnamese","symbol":"vi","text":"Thuật toán"}
 ]

sphinx_proof/translations/jsons/Assumption.json

@@ -1,32 +1,32 @@
 [
     {"language":"English","symbol":"en","text":"Assumption"},
-    {"language":"Chinese","symbol":"zh_CN","text":"假设"},
-    {"language":"Spanish","symbol":"es","text":"Supuesto"},
     {"language":"Arabic","symbol":"ar","text":"افتراض"},
-    {"language":"Hindi","symbol":"hi","text":"अनुमान"},
-    {"language":"Portuguese","symbol":"pt","text":"Suposição"},
-    {"language":"Russian","symbol":"ru","text":"Предположение"},
-    {"language":"Japanese","symbol":"ja","text":"仮定"},
+    {"language":"Bulgarian","symbol":"bg","text":"Предположение"},
+    {"language":"Chinese","symbol":"zh_CN","text":"假设"},
+    {"language":"Czech","symbol":"cs","text":"Předpoklad"},
+    {"language":"Danish","symbol":"da","text":"Antagelse"},
+    {"language":"Dutch","symbol":"nl","text":"Aanname"},
+    {"language":"Finnish","symbol":"fi","text":"Oletus"},
     {"language":"French","symbol":"fr","text":"Hypothèse"},
     {"language":"German","symbol":"de","text":"Annahme"},
-    {"language":"Korean","symbol":"ko","text":"가정"},
-    {"language":"Italian","symbol":"it","text":"Assunzione"},
-    {"language":"Turkish","symbol":"tr","text":"Varsayım"},
-    {"language":"Vietnamese","symbol":"vi","text":"Giả định"},
-    {"language":"Polish","symbol":"pl","text":"Założenie"},
-    {"language":"Dutch","symbol":"nl","text":"Aanname"},
-    {"language":"Indonesian","symbol":"id","text":"Asumsi"},
-    {"language":"Thai","symbol":"th","text":"สมมติฐาน"},
-    {"language":"Persian","symbol":"fa","text":"فرض"},
-    {"language":"Ukrainian","symbol":"uk","text":"Припущення"},
     {"language":"Greek","symbol":"el","text":"Υπόθεση"},
-    {"language":"Czech","symbol":"cs","text":"Předpoklad"},
-    {"language":"Swedish","symbol":"sv","text":"Antagande"},
     {"language":"Hebrew","symbol":"he","text":"הנחה"},
-    {"language":"Romanian","symbol":"ro","text":"Presupunere"},
+    {"language":"Hindi","symbol":"hi","text":"अनुमान"},
     {"language":"Hungarian","symbol":"hu","text":"Feltételezés"},
-    {"language":"Danish","symbol":"da","text":"Antagelse"},
-    {"language":"Finnish","symbol":"fi","text":"Oletus"},
+    {"language":"Indonesian","symbol":"id","text":"Asumsi"},
+    {"language":"Italian","symbol":"it","text":"Assunzione"},
+    {"language":"Japanese","symbol":"ja","text":"仮定"},
+    {"language":"Korean","symbol":"ko","text":"가정"},
     {"language":"Norwegian","symbol":"no","text":"Antagelse"},
-    {"language":"Bulgarian","symbol":"bg","text":"Предположение"}
+    {"language":"Persian","symbol":"fa","text":"فرض"},
+    {"language":"Polish","symbol":"pl","text":"Założenie"},
+    {"language":"Portuguese","symbol":"pt","text":"Suposição"},
+    {"language":"Romanian","symbol":"ro","text":"Presupunere"},
+    {"language":"Russian","symbol":"ru","text":"Предположение"},
+    {"language":"Spanish","symbol":"es","text":"Supuesto"},
+    {"language":"Swedish","symbol":"sv","text":"Antagande"},
+    {"language":"Thai","symbol":"th","text":"สมมติฐาน"},
+    {"language":"Turkish","symbol":"tr","text":"Varsayım"},
+    {"language":"Ukrainian","symbol":"uk","text":"Припущення"},
+    {"language":"Vietnamese","symbol":"vi","text":"Giả định"}
 ]

sphinx_proof/translations/jsons/Axiom.json

@@ -1,32 +1,32 @@
 [
     {"language":"English","symbol":"en","text":"Axiom"},
-    {"language":"Chinese","symbol":"zh_CN","text":"公理"},
-    {"language":"Spanish","symbol":"es","text":"Axioma"},
     {"language":"Arabic","symbol":"ar","text":"بديهية"},
-    {"language":"Hindi","symbol":"hi","text":"स्वयंसिद्ध"},
-    {"language":"Portuguese","symbol":"pt","text":"Axioma"},
-    {"language":"Russian","symbol":"ru","text":"Аксиома"},
-    {"language":"Japanese","symbol":"ja","text":"公理"},
+    {"language":"Bulgarian","symbol":"bg","text":"Аксиома"},
+    {"language":"Chinese","symbol":"zh_CN","text":"公理"},
+    {"language":"Czech","symbol":"cs","text":"Axiom"},
+    {"language":"Danish","symbol":"da","text":"Aksiom"},
+    {"language":"Dutch","symbol":"nl","text":"Axioma"},
+    {"language":"Finnish","symbol":"fi","text":"Aksiooma"},
     {"language":"French","symbol":"fr","text":"Axiome"},
     {"language":"German","symbol":"de","text":"Axiom"},
-    {"language":"Korean","symbol":"ko","text":"공리"},
-    {"language":"Italian","symbol":"it","text":"Assioma"},
-    {"language":"Turkish","symbol":"tr","text":"Aksiyom"},
-    {"language":"Vietnamese","symbol":"vi","text":"Tiên đề"},
-    {"language":"Polish","symbol":"pl","text":"Aksjomat"},
-    {"language":"Dutch","symbol":"nl","text":"Axioma"},
-    {"language":"Indonesian","symbol":"id","text":"Aksioma"},
-    {"language":"Thai","symbol":"th","text":"สัจพจน์"},
-    {"language":"Persian","symbol":"fa","text":"بدیهیات"},
-    {"language":"Ukrainian","symbol":"uk","text":"Аксіома"},
     {"language":"Greek","symbol":"el","text":"Αξίωμα"},
-    {"language":"Czech","symbol":"cs","text":"Axiom"},
-    {"language":"Swedish","symbol":"sv","text":"Axiom"},
     {"language":"Hebrew","symbol":"he","text":"אקסיומה"},
-    {"language":"Romanian","symbol":"ro","text":"Axiomă"},
+    {"language":"Hindi","symbol":"hi","text":"स्वयंसिद्ध"},
     {"language":"Hungarian","symbol":"hu","text":"Axióma"},
-    {"language":"Danish","symbol":"da","text":"Aksiom"},
-    {"language":"Finnish","symbol":"fi","text":"Aksiooma"},
+    {"language":"Indonesian","symbol":"id","text":"Aksioma"},
+    {"language":"Italian","symbol":"it","text":"Assioma"},
+    {"language":"Japanese","symbol":"ja","text":"公理"},
+    {"language":"Korean","symbol":"ko","text":"공리"},
     {"language":"Norwegian","symbol":"no","text":"Aksiom"},
-    {"language":"Bulgarian","symbol":"bg","text":"Аксиома"}
+    {"language":"Persian","symbol":"fa","text":"بدیهیات"},
+    {"language":"Polish","symbol":"pl","text":"Aksjomat"},
+    {"language":"Portuguese","symbol":"pt","text":"Axioma"},
+    {"language":"Romanian","symbol":"ro","text":"Axiomă"},
+    {"language":"Russian","symbol":"ru","text":"Аксиома"},
+    {"language":"Spanish","symbol":"es","text":"Axioma"},
+    {"language":"Swedish","symbol":"sv","text":"Axiom"},
+    {"language":"Thai","symbol":"th","text":"สัจพจน์"},
+    {"language":"Turkish","symbol":"tr","text":"Aksiyom"},
+    {"language":"Ukrainian","symbol":"uk","text":"Аксіома"},
+    {"language":"Vietnamese","symbol":"vi","text":"Tiên đề"}
 ]

sphinx_proof/translations/jsons/Conjecture.json

@@ -1,32 +1,32 @@
 [
     {"language":"English","symbol":"en","text":"Conjecture"},
-    {"language":"Chinese","symbol":"zh_CN","text":"猜想"},
-    {"language":"Spanish","symbol":"es","text":"Conjetura"},
     {"language":"Arabic","symbol":"ar","text":"تخمين"},
-    {"language":"Hindi","symbol":"hi","text":"अनुमान"},
-    {"language":"Portuguese","symbol":"pt","text":"Conjectura"},
-    {"language":"Russian","symbol":"ru","text":"Гипотеза"},
-    {"language":"Japanese","symbol":"ja","text":"推測"},
+    {"language":"Bulgarian","symbol":"bg","text":"Предположение"},
+    {"language":"Chinese","symbol":"zh_CN","text":"猜想"},
+    {"language":"Czech","symbol":"cs","text":"Domněnka"},
+    {"language":"Danish","symbol":"da","text":"Formodning"},
+    {"language":"Dutch","symbol":"nl","text":"Vermoeden"},
+    {"language":"Finnish","symbol":"fi","text":"Otaksuma"},
     {"language":"French","symbol":"fr","text":"Conjecture"},
     {"language":"German","symbol":"de","text":"Vermutung"},
-    {"language":"Korean","symbol":"ko","text":"추측"},
-    {"language":"Italian","symbol":"it","text":"Congettura"},
-    {"language":"Turkish","symbol":"tr","text":"Tahmin"},
-    {"language":"Vietnamese","symbol":"vi","text":"Phỏng đoán"},
-    {"language":"Polish","symbol":"pl","text":"Przypuszczenie"},
-    {"language":"Dutch","symbol":"nl","text":"Vermoeden"},
-    {"language":"Indonesian","symbol":"id","text":"Dugaan"},
-    {"language":"Thai","symbol":"th","text":"ข้อสันนิษฐาน"},
-    {"language":"Persian","symbol":"fa","text":"حدس"},
-    {"language":"Ukrainian","symbol":"uk","text":"Гіпотеза"},
     {"language":"Greek","symbol":"el","text":"Εικασία"},
-    {"language":"Czech","symbol":"cs","text":"Domněnka"},
-    {"language":"Swedish","symbol":"sv","text":"Förmodan"},
     {"language":"Hebrew","symbol":"he","text":"השערה"},
-    {"language":"Romanian","symbol":"ro","text":"Conjectură"},
+    {"language":"Hindi","symbol":"hi","text":"अनुमान"},
     {"language":"Hungarian","symbol":"hu","text":"Sejtés"},
-    {"language":"Danish","symbol":"da","text":"Formodning"},
-    {"language":"Finnish","symbol":"fi","text":"Otaksuma"},
+    {"language":"Indonesian","symbol":"id","text":"Dugaan"},
+    {"language":"Italian","symbol":"it","text":"Congettura"},
+    {"language":"Japanese","symbol":"ja","text":"推測"},
+    {"language":"Korean","symbol":"ko","text":"추측"},
     {"language":"Norwegian","symbol":"no","text":"Formodning"},
-    {"language":"Bulgarian","symbol":"bg","text":"Предположение"}
+    {"language":"Persian","symbol":"fa","text":"حدس"},
+    {"language":"Polish","symbol":"pl","text":"Przypuszczenie"},
+    {"language":"Portuguese","symbol":"pt","text":"Conjectura"},
+    {"language":"Romanian","symbol":"ro","text":"Conjectură"},
+    {"language":"Russian","symbol":"ru","text":"Гипотеза"},
+    {"language":"Spanish","symbol":"es","text":"Conjetura"},
+    {"language":"Swedish","symbol":"sv","text":"Förmodan"},
+    {"language":"Thai","symbol":"th","text":"ข้อสันนิษฐาน"},
+    {"language":"Turkish","symbol":"tr","text":"Tahmin"},
+    {"language":"Ukrainian","symbol":"uk","text":"Гіпотеза"},
+    {"language":"Vietnamese","symbol":"vi","text":"Phỏng đoán"}
 ]

sphinx_proof/translations/jsons/Corollary.json

@@ -1,32 +1,32 @@
 [
     {"language":"English","symbol":"en","text":"Corollary"},
-    {"language":"Chinese","symbol":"zh_CN","text":"推论"},
-    {"language":"Spanish","symbol":"es","text":"Corolario"},
     {"language":"Arabic","symbol":"ar","text":"نتيجة"},
-    {"language":"Hindi","symbol":"hi","text":"परिणाम"},
-    {"language":"Portuguese","symbol":"pt","text":"Corolário"},
-    {"language":"Russian","symbol":"ru","text":"Следствие"},
-    {"language":"Japanese","symbol":"ja","text":"系"},
+    {"language":"Bulgarian","symbol":"bg","text":"Следствие"},
+    {"language":"Chinese","symbol":"zh_CN","text":"推论"},
+    {"language":"Czech","symbol":"cs","text":"Důsledek"},
+    {"language":"Danish","symbol":"da","text":"Korollar"},
+    {"language":"Dutch","symbol":"nl","text":"Gevolg"},
+    {"language":"Finnish","symbol":"fi","text":"Seuraus"},
     {"language":"French","symbol":"fr","text":"Corollaire"},
     {"language":"German","symbol":"de","text":"Korollar"},
-    {"language":"Korean","symbol":"ko","text":"따름정리"},
-    {"language":"Italian","symbol":"it","text":"Corollario"},
-    {"language":"Turkish","symbol":"tr","text":"Sonuç"},
-    {"language":"Vietnamese","symbol":"vi","text":"Hệ quả"},
-    {"language":"Polish","symbol":"pl","text":"Wniosek"},
-    {"language":"Dutch","symbol":"nl","text":"Gevolg"},
-    {"language":"Indonesian","symbol":"id","text":"Akibat"},
-    {"language":"Thai","symbol":"th","text":"บทตาม"},
-    {"language":"Persian","symbol":"fa","text":"نتیجه"},
-    {"language":"Ukrainian","symbol":"uk","text":"Наслідок"},
     {"language":"Greek","symbol":"el","text":"Πόρισμα"},
-    {"language":"Czech","symbol":"cs","text":"Důsledek"},
-    {"language":"Swedish","symbol":"sv","text":"Korollarium"},
     {"language":"Hebrew","symbol":"he","text":"מסקנה"},
-    {"language":"Romanian","symbol":"ro","text":"Corolar"},
+    {"language":"Hindi","symbol":"hi","text":"परिणाम"},
     {"language":"Hungarian","symbol":"hu","text":"Következmény"},
-    {"language":"Danish","symbol":"da","text":"Korollar"},
-    {"language":"Finnish","symbol":"fi","text":"Seuraus"},
+    {"language":"Indonesian","symbol":"id","text":"Akibat"},
+    {"language":"Italian","symbol":"it","text":"Corollario"},
+    {"language":"Japanese","symbol":"ja","text":"系"},
+    {"language":"Korean","symbol":"ko","text":"따름정리"},
     {"language":"Norwegian","symbol":"no","text":"Korollar"},
-    {"language":"Bulgarian","symbol":"bg","text":"Следствие"}
+    {"language":"Persian","symbol":"fa","text":"نتیجه"},
+    {"language":"Polish","symbol":"pl","text":"Wniosek"},
+    {"language":"Portuguese","symbol":"pt","text":"Corolário"},
+    {"language":"Romanian","symbol":"ro","text":"Corolar"},
+    {"language":"Russian","symbol":"ru","text":"Следствие"},
+    {"language":"Spanish","symbol":"es","text":"Corolario"},
+    {"language":"Swedish","symbol":"sv","text":"Korollarium"},
+    {"language":"Thai","symbol":"th","text":"บทตาม"},
+    {"language":"Turkish","symbol":"tr","text":"Sonuç"},
+    {"language":"Ukrainian","symbol":"uk","text":"Наслідок"},
+    {"language":"Vietnamese","symbol":"vi","text":"Hệ quả"}
 ]

sphinx_proof/translations/jsons/Criterion.json

@@ -1,32 +1,32 @@
 [
     {"language":"English","symbol":"en","text":"Criterion"},
-    {"language":"Chinese","symbol":"zh_CN","text":"准则"},
-    {"language":"Spanish","symbol":"es","text":"Criterio"},
     {"language":"Arabic","symbol":"ar","text":"معيار"},
-    {"language":"Hindi","symbol":"hi","text":"मानदंड"},
-    {"language":"Portuguese","symbol":"pt","text":"Critério"},
-    {"language":"Russian","symbol":"ru","text":"Критерий"},
-    {"language":"Japanese","symbol":"ja","text":"基準"},
+    {"language":"Bulgarian","symbol":"bg","text":"Критерий"},
+    {"language":"Chinese","symbol":"zh_CN","text":"准则"},
+    {"language":"Czech","symbol":"cs","text":"Kritérium"},
+    {"language":"Danish","symbol":"da","text":"Kriterium"},
+    {"language":"Dutch","symbol":"nl","text":"Criterium"},
+    {"language":"Finnish","symbol":"fi","text":"Kriteeri"},
     {"language":"French","symbol":"fr","text":"Critère"},
     {"language":"German","symbol":"de","text":"Kriterium"},
-    {"language":"Korean","symbol":"ko","text":"기준"},
-    {"language":"Italian","symbol":"it","text":"Criterio"},
-    {"language":"Turkish","symbol":"tr","text":"Kriter"},
-    {"language":"Vietnamese","symbol":"vi","text":"Tiêu chí"},
-    {"language":"Polish","symbol":"pl","text":"Kryterium"},
-    {"language":"Dutch","symbol":"nl","text":"Criterium"},
-    {"language":"Indonesian","symbol":"id","text":"Kriteria"},
-    {"language":"Thai","symbol":"th","text":"เกณฑ์"},
-    {"language":"Persian","symbol":"fa","text":"معیار"},
-    {"language":"Ukrainian","symbol":"uk","text":"Критерій"},
     {"language":"Greek","symbol":"el","text":"Κριτήριο"},
-    {"language":"Czech","symbol":"cs","text":"Kritérium"},
-    {"language":"Swedish","symbol":"sv","text":"Kriterium"},
     {"language":"Hebrew","symbol":"he","text":"קריטריון"},
-    {"language":"Romanian","symbol":"ro","text":"Criteriu"},
+    {"language":"Hindi","symbol":"hi","text":"मानदंड"},
     {"language":"Hungarian","symbol":"hu","text":"Kritérium"},
-    {"language":"Danish","symbol":"da","text":"Kriterium"},
-    {"language":"Finnish","symbol":"fi","text":"Kriteeri"},
+    {"language":"Indonesian","symbol":"id","text":"Kriteria"},
+    {"language":"Italian","symbol":"it","text":"Criterio"},
+    {"language":"Japanese","symbol":"ja","text":"基準"},
+    {"language":"Korean","symbol":"ko","text":"기준"},
     {"language":"Norwegian","symbol":"no","text":"Kriterium"},
-    {"language":"Bulgarian","symbol":"bg","text":"Критерий"}
+    {"language":"Persian","symbol":"fa","text":"معیار"},
+    {"language":"Polish","symbol":"pl","text":"Kryterium"},
+    {"language":"Portuguese","symbol":"pt","text":"Critério"},
+    {"language":"Romanian","symbol":"ro","text":"Criteriu"},
+    {"language":"Russian","symbol":"ru","text":"Критерий"},
+    {"language":"Spanish","symbol":"es","text":"Criterio"},
+    {"language":"Swedish","symbol":"sv","text":"Kriterium"},
+    {"language":"Thai","symbol":"th","text":"เกณฑ์"},
+    {"language":"Turkish","symbol":"tr","text":"Kriter"},
+    {"language":"Ukrainian","symbol":"uk","text":"Критерій"},
+    {"language":"Vietnamese","symbol":"vi","text":"Tiêu chí"}
 ]