Feature #9888 add CodeMirror plugin