Translations:Extension:CodeMirror/16/fr

Ajouter le code ci-dessus en bas de votre $localsettings.