1<?php
2
3$lang['js']['setting_activeline'] = 'Highlight current line';
4$lang['js']['setting_closebrackets'] = 'Auto-close brackets';
5$lang['js']['setting_fontsize'] = 'Font size';
6$lang['js']['setting_keymap'] = 'Key map';
7$lang['js']['setting_linenumbers'] = 'Display line numbers';
8$lang['js']['setting_matchbrackets'] = 'Highlight matching brackets';
9$lang['js']['setting_nativeeditor'] = 'Native DokuWiki editor';
10$lang['js']['setting_syntax'] = 'Highlight syntax';
11$lang['js']['setting_theme'] = 'Color theme';
12$lang['js']['setting_showinvisibles'] = 'Show Whitespace';
13