http://js.do/js/codemirror-5.10/lib/codemirror.js