Translations:Extension:CodeMirror/16/en

Add the above code at the bottom of your $localsettings.