CodeMirror plugin for DokuWiki