DevTools: Get rid of WebInspector.panels

Source/devtools/front_end/externs.js

 /*
  * Copyright (C) 2011 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 232 matching lines @@
 InspectorFrontendHostAPI.prototype.zoomOut = function() {}
 InspectorFrontendHostAPI.prototype.resetZoom = function() {}
 /** @type {InspectorFrontendHostAPI} */
 var InspectorFrontendHost;
 InspectorFrontendHost.embedderMessageAck = function(id, error) {}
 
 // FIXME: remove everything below.
 var FormatterWorker = {}
 var WebInspector = {}
 
-WebInspector.panels = {};
 WebInspector.devicesModel = {};
 
 WebInspector.reload = function() { }
 
 /** Extensions API */
 
 /** @constructor */
 function AuditCategory() {}
 /** @constructor */
 function AuditResult() {}
@@ skipping 198 matching lines @@
 }
 
 /** @type {Object.<string, !Object.<string, string>>} */
 CodeMirror.keyMap;
 
 /** @type {{scrollLeft: number, scrollTop: number}} */
 CodeMirror.doc;
 
 /** @type {boolean} */
 window.dispatchStandaloneTestRunnerMessages;