| Index: third_party/WebKit/Source/devtools/front_end/externs.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/externs.js b/third_party/WebKit/Source/devtools/front_end/externs.js
|
| index 535869f93e2b2370f023edd08745e581aace353d..b94f825d1071622697533ea0c810b082cf65928d 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/externs.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/externs.js
|
| @@ -556,6 +556,12 @@
|
| * @return {number}
|
| */
|
| CodeMirror.cmpPos = function(pos1, pos2) {};
|
| +
|
| +/**
|
| + * @param {string} mode
|
| + * @param {?} definition
|
| + */
|
| +CodeMirror.defineSimpleMode = function(mode, definition) {};
|
|
|
| /** @constructor */
|
| CodeMirror.StringStream = function(line) {
|
|
|