StackExchange/StackExchange.DataExplorer — pull request #51 by tms (2014-11-04 22:41:16+00:00)
Title: Upgrade CodeMirror to address bugs

The latest version of CodeMirror seems to work around a WebKit/Blink issue that [causes some bad things to happen](http://meta.stackexchange.com/questions/243054/buggy-character-length-limit-when-pasting-in-sede) when you paste a lot of stuff, so we're upgrading.