This version of the CodeEditor extension requires MediaWiki 1.25+