DevTools: [CodeMirror] Implement "select next occurrence" functionality

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 c5b43dd6243017116ccc560d0da35ee08ca6acc7..98137c1fddbb12f3661859f04aa97ca30421b89a 100644
--- a/Source/devtools/front_end/externs.js
+++ b/Source/devtools/front_end/externs.js
@@ -400,6 +400,7 @@ CodeMirror.prototype = {
     setLine: function(line, text) { },
     setOption: function(option, value) { },
     setSelection: function(anchor, head) { },
+    setSelections: function(selections) { },
     setSize: function(width, height) { },
     setValue: function(code) { },
     somethingSelected: function() { },
@@ -407,8 +408,6 @@ CodeMirror.prototype = {
     undo: function() { },
     unlinkDoc: function(other) { }
 }
-/** @type {number} */
-CodeMirror.prototype.lineCount;
 /** @type {!{cursorDiv: Element}} */
 CodeMirror.prototype.display;
 CodeMirror.Pass;