Translations:Extension:CodeMirror/42/en

Once made default, these settings may no longer have an effect.