DevTools: Get rid of WebInspector.panels

Source/devtools/front_end/extensions/ExtensionServer.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 202 matching lines @@
         var styleSheet = document.createElement("style");
         styleSheet.textContent = message.styleSheet;
         document.head.appendChild(styleSheet);
     },
 
     _onCreatePanel: function(message, port)
     {
         var id = message.id;
         // The ids are generated on the client API side and must be unique, so the check below
         // shouldn't be hit unless someone is bypassing the API.
-        if (id in this._clientObjects || id in WebInspector.panels)
+        if (id in this._clientObjects || WebInspector.inspectorView.hasPanel(id))
             return this._status.E_EXISTS(id);
 
         var page = this._expandResourcePath(port._extensionOrigin, message.page);
         var panelDescriptor = new WebInspector.ExtensionServerPanelDescriptor(id, message.title, new WebInspector.ExtensionPanel(id, page));
         this._clientObjects[id] = panelDescriptor.panel();
         WebInspector.inspectorView.addPanel(panelDescriptor);
         return this._status.OK();
     },
 
     _onShowPanel: function(message)
@@ skipping 837 matching lines @@
 /**
  * @typedef {{code: string, description: string, details: !Array.<*>}}
  */
 WebInspector.ExtensionStatus.Record;
 
 WebInspector.extensionAPI = {};
 defineCommonExtensionSymbols(WebInspector.extensionAPI);
 
 importScript("ExtensionPanel.js");
 importScript("ExtensionView.js");