Translations:Extension:CodeMirror/36/en

When switched off, it will switch back to the standard textarea.