wikimedia/mediawiki-extensions-CodeEditor
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor synced 2024-11-23 23:03:46 +00:00
Code Issues Packages Projects Releases Wiki Activity

Change "Toggle syntax highlighting" to "Toggle code editor"

Browse source 
Since the code editor adds line numbers, support for tab indentation,
code folding, and other features, summarizing this as "syntax highlighting"
is misleading.
This commit is contained in:
Erik Moeller 2012-04-23 23:58:30 +00:00
parent 8fe95e1469
commit c7f2db557e
Notes: Erik Moeller 2012-04-23 23:58:30 +00:00 
https://mediawiki.org/wiki/Special:Code/MediaWiki/115018
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
CodeEditor.i18n.php
View file

@ -13,7 +13,7 @@ $messages = array();
*/
$messages['en'] = array(
'codeeditor-desc' => 'Syntax-highlighted editing for JavaScript and CSS pages using [http://ace.ajax.org/ Ace editor]',
'codeeditor-toolbar-toggle' => 'Toggle syntax highlighting',
'codeeditor-toolbar-toggle' => 'Toggle code editor',
);
/** Message documentation (Message documentation)