| Index: Source/devtools/front_end/externs.js
|
| diff --git a/Source/devtools/front_end/externs.js b/Source/devtools/front_end/externs.js
|
| index 9ad015896104a97ee90ae502e7cae3bcd334a2f0..f10ef30ef7978bfa5b55dd512682065386f796ad 100644
|
| --- a/Source/devtools/front_end/externs.js
|
| +++ b/Source/devtools/front_end/externs.js
|
| @@ -250,7 +250,6 @@ InspectorFrontendHost.embedderMessageAck = function(id, error) {}
|
| var FormatterWorker = {}
|
| var WebInspector = {}
|
|
|
| -WebInspector.panels = {};
|
| WebInspector.devicesModel = {};
|
|
|
| WebInspector.reload = function() { }
|
|
|