Translations:Extension:CodeMirror/33/fr

Elle ajoute un bouton avec une l'icône $logo dans la barre d'outil d'édition qui permet d'activer ou non la coloration.