Translations:Extension:CodeMirror/33/fr

Elle ajoute un bouton avec l’icône $logo dans la barre d’outils de modification, ce qui permet d’activer ou de désactiver cette mise en évidence.