Translations:Extension:CodeMirror/16/es

Agrega el código de arriba al final de tu $localsettings.