CodeMirror: Removed deprecated code