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

Source/devtools/front_end/externs.js

 /*
  * Copyright (C) 2011 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 382 matching lines @@
     scrollIntoView: function(pos, margin) { },
     scrollTo: function(x, y) { },
     setBookmark: function(pos, options) { },
     setCursor: function(line, ch, extend) { },
     setExtending: function(val) { },
     setGutterMarker: function(line, gutterID, value) { },
     setHistory: function(histData) { },
     setLine: function(line, text) { },
     setOption: function(option, value) { },
     setSelection: function(anchor, head) { },
+    setSelections: function(selections) { },
     setSize: function(width, height) { },
     setValue: function(code) { },
     somethingSelected: function() { },
     swapDoc: function(doc) { },
     undo: function() { },
     unlinkDoc: function(other) { }
 }
-/** @type {number} */
-CodeMirror.prototype.lineCount;
 /** @type {!{cursorDiv: Element}} */
 CodeMirror.prototype.display;
 CodeMirror.Pass;
 CodeMirror.showHint = function(codeMirror, hintintFunction) { };
 CodeMirror.commands = {};
 CodeMirror.modes = {};
 CodeMirror.mimeModes = {};
 CodeMirror.getMode = function(options, spec) { };
 CodeMirror.overlayMode = function(mode1, mode2, squashSpans) { };
 CodeMirror.defineMode = function(modeName, modeConstructor) { };
@@ skipping 35 matching lines @@
 }
 
 /** @type {Object.<string, !Object.<string, string>>} */
 CodeMirror.keyMap;
 
 /** @type {{scrollLeft: number, scrollTop: number}} */
 CodeMirror.doc;
 
 /** @type {boolean} */
 window.dispatchStandaloneTestRunnerMessages;