1<?php
2
3$lang['js']['setting_activeline'] = 'Surligner la ligne courante';
4$lang['js']['setting_closebrackets'] = 'Parenthèses auto-fermantes';
5$lang['js']['setting_fontsize'] = ' Taille de police';
6$lang['js']['setting_keymap'] = 'Éditeur - raccourcis';
7$lang['js']['setting_linenumbers'] = 'Afficher les numéros de lignes';
8$lang['js']['setting_matchbrackets'] = 'Surligner la correspondance des parenthèses';
9$lang['js']['setting_nativeeditor'] = 'Éditeur natif DokuWiki';
10$lang['js']['setting_syntax'] = 'Surligner la syntaxe';
11$lang['js']['setting_theme'] = 'Couleur du thème';
12