Translations:Extension:CodeEditor/14/en

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