Replace the language selector by our custom dropdown menu

2017-01-11 10:46:22 +01:00
parent 26dd4ea11f
commit 569ea21705
19 changed files with 262 additions and 123 deletions
--- a/customize.dist/translations/messages.fr.js
+++ b/customize.dist/translations/messages.fr.js
@@ -42,6 +42,8 @@ define(function () {
    out.editor = "éditeur";
    out.editors = "éditeurs";

+    out.language = "Langue";
+
    out.greenLight = "Tout fonctionne bien";
    out.orangeLight = "Votre connexion est lente, ce qui réduit la qualité de l'éditeur";
    out.redLight = "Vous êtes déconnectés de la session";