Update to CodeMirror 3.15, released 2013-07-29