Rebuild codemirror.js after cherry-picking ddafba743612718d2ecbff7edd554ff30e57d390
Rebuild codemirror.js after cherry-picking ddafba743612718d2ecbff7edd554ff30e57d390

thomasjm/CodeMirror,thomasjm/CodeMirror,thomasjm/CodeMirror