DevTools: roll CodeMirror to v4.0.3

Source/devtools/front_end/externs.js

Index: Source/devtools/front_end/externs.js
diff --git a/Source/devtools/front_end/externs.js b/Source/devtools/front_end/externs.js
index cdc8e0ab79c02e43f0f85c794fc6505ba4efed99..c5b43dd6243017116ccc560d0da35ee08ca6acc7 100644
--- a/Source/devtools/front_end/externs.js
+++ b/Source/devtools/front_end/externs.js
@@ -350,6 +350,7 @@ CodeMirror.prototype = {
     getScrollInfo: function() { },
     getScrollerElement: function() { },
     getSelection: function() { },
+    getSelections: function() { },
     getStateAfter: function(line) { },
     getTokenAt: function(pos) { },
     getValue: function(lineSep) { },
@@ -371,6 +372,7 @@ CodeMirror.prototype = {
      */
     lineAtHeight: function(height, mode) { },
     linkedDoc: function(options) { },
+    listSelections: function() { },
     markClean: function() { },
     markText: function(from, to, options) { },
     moveH: function(dir, unit) { },
@@ -407,6 +409,8 @@ CodeMirror.prototype = {
 }
 /** @type {number} */
 CodeMirror.prototype.lineCount;
+/** @type {!{cursorDiv: Element}} */
+CodeMirror.prototype.display;
 CodeMirror.Pass;
 CodeMirror.showHint = function(codeMirror, hintintFunction) { };
 CodeMirror.commands = {};