Translations:Extension:CodeEditor/14/en

It is possible to change the configuration of the ACE editor, by hooking into the MediaWiki JS hook (i.e. $configure).