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 8fc5443e514888dc08ccb5241bdc09c3f7cc0876..22849bd815be4a65ceea8ea917043725ca12b305 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/externs.js |
+++ b/third_party/WebKit/Source/devtools/front_end/externs.js |
@@ -881,6 +881,8 @@ var Persistence = {}; |
/** @type {!Object} */ |
var Platform = {}; |
/** @type {!Object} */ |
+var ProductRegistry = {}; |
+/** @type {!Object} */ |
var Profiler = {}; |
/** @type {!Object} */ |
var Protocol = {}; |