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 b36803e3ba7cc3711f56765d956f4b4d3d18ec83..aa6ae75b96836ef81dd0bbd7976bf7438ed6fcd7 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/externs.js |
+++ b/third_party/WebKit/Source/devtools/front_end/externs.js |
@@ -300,6 +300,7 @@ var extensionServer; |
function ExtensionDescriptor() { |
this.startPage = ""; |
this.name = ""; |
+ this.exposeExperimentalAPIs = false; |
} |
/** |