Translations:Extension:CodeMirror/72/es

Establézcalo en $1 para deshabilitar en todas partes.