| 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 = {};
|
|
|