DevTools: Changes View

third_party/WebKit/Source/devtools/front_end/externs.js

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..907bd8a80dc9886608b439b06cda90b2fbe9bff6 100644
--- a/third_party/WebKit/Source/devtools/front_end/externs.js
+++ b/third_party/WebKit/Source/devtools/front_end/externs.js
@@ -536,6 +536,7 @@ CodeMirror.getMode = function(options, spec) {};
 CodeMirror.overlayMode = function(mode1, mode2, squashSpans) {};
 CodeMirror.defineMode = function(modeName, modeConstructor) {};
 CodeMirror.startState = function(mode) {};
+CodeMirror.copyState = function(mode, state) {};
 
 /** @typedef {{canceled: boolean, from: !CodeMirror.Pos, to: !CodeMirror.Pos, text: string, origin: string, cancel: function()}} */
 CodeMirror.BeforeChangeObject;
@@ -604,6 +605,12 @@ CodeMirror.keyMap;
 /** @type {{scrollLeft: number, scrollTop: number}} */
 CodeMirror.doc;
 
+/**
+ * @param {string} mime
+ * @param {string} mode
+ */
+CodeMirror.defineMIME = function(mime, mode) {};
+
 /** @type {boolean} */
 window.dispatchStandaloneTestRunnerMessages;