mirror of
https://gerrit.wikimedia.org/r/mediawiki/extensions/CodeEditor
synced 2024-11-23 23:03:46 +00:00
ec233e4297
Simply using the existing gadget version modified to load Ace from the extension directory for now, will integrate better into WikiEditor and use ResourceLoader to load Ace itself in upcoming commits.
17 lines
310 B
PHP
17 lines
310 B
PHP
<?php
|
|
/**
|
|
* Internationalisation for CodeEditor extension
|
|
*
|
|
* @file
|
|
* @ingroup Extensions
|
|
*/
|
|
|
|
$messages = array();
|
|
|
|
/** English
|
|
* @author Brion Vibber
|
|
*/
|
|
$messages['en'] = array(
|
|
'codeeditor-desc' => 'Syntax-highlighted editing for JavaScript and CSS pages using [http://ace.ajax.org/ Ace editor].'
|
|
);
|