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 8d3f1800d38047758de6caa5c232c65502450455..798da8945911d8a2f0142b6547512a5d3a1e47d5 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/externs.js |
+++ b/third_party/WebKit/Source/devtools/front_end/externs.js |
@@ -861,6 +861,8 @@ var Main = {}; |
/** @type {!Object} */ |
var Network = {}; |
/** @type {!Object} */ |
+var PerfUI = {}; |
+/** @type {!Object} */ |
var Persistence = {}; |
/** @type {!Object} */ |
var Platform = {}; |
@@ -869,6 +871,8 @@ var Profiler = {}; |
/** @type {!Object} */ |
var Protocol = {}; |
/** @type {!Object} */ |
+var QuickOpen = {}; |
+/** @type {!Object} */ |
var Resources = {}; |
/** @type {!Object} */ |
var Sass = {}; |