A replacement code editor for TinyMCE4 that uses Codemirror for syntax highlighting