Extension:CodeMirror

The CodeMirror extension does foo.