DevTools: Roll CodeMirror to 5.25.1

third_party/WebKit/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 539 matching lines @@
 /** @type {number} */
 CodeMirror.Pos.prototype.ch;
 
 /**
  * @param {!CodeMirror.Pos} pos1
  * @param {!CodeMirror.Pos} pos2
  * @return {number}
  */
 CodeMirror.cmpPos = function(pos1, pos2) {};
 
-/**
- * @param {string} mode
- * @param {?} definition
- */
-CodeMirror.defineSimpleMode = function(mode, definition) {};
-
 /** @constructor */
 CodeMirror.StringStream = function(line) {
   this.pos = 0;
   this.start = 0;
 };
 CodeMirror.StringStream.prototype = {
   backUp: function(n) {},
   column: function() {},
   current: function() {},
   eat: function(match) {},
@@ skipping 232 matching lines @@
 var Terminal = function(params) {};
 
 Terminal.prototype = {
   fit: function() {},
   linkify: function() {},
   /** @param {!Element} element */
   open: function(element) {},
   /** @param {string} eventName * @param {!Function} handler */
   on: function(eventName, handler) {}
 };