2 * Copyright 2014 The Chromium Authors. All rights reserved.
3 * Use of this source code is governed by a BSD-style license that can be
4 * found in the LICENSE file.
10 WebInspector.ExtensionServerAPI = function() { }
12 WebInspector.ExtensionServerAPI.prototype = {
14 * @param {!Array.<!ExtensionDescriptor>} descriptors
16 addExtensions: function(descriptors) { }
22 WebInspector.ExtensionServerProxy = function()
26 WebInspector.ExtensionServerProxy._ensureExtensionServer = function()
28 if (!WebInspector.extensionServer)
29 WebInspector.extensionServer = self.runtime.instance(WebInspector.ExtensionServerAPI);
32 WebInspector.ExtensionServerProxy.prototype = {
33 setFrontendReady: function()
35 this._frontendReady = true;
36 this._pushExtensionsToServer();
39 _addExtensions: function(extensions)
41 if (extensions.length === 0)
44 console.assert(!this._pendingExtensions);
45 this._pendingExtensions = extensions;
46 this._pushExtensionsToServer();
49 _pushExtensionsToServer: function()
51 if (!this._frontendReady || !this._pendingExtensions)
53 WebInspector.ExtensionServerProxy._ensureExtensionServer();
54 WebInspector.extensionServer.addExtensions(this._pendingExtensions);
55 delete this._pendingExtensions;
59 WebInspector.extensionServerProxy = new WebInspector.ExtensionServerProxy();
61 WebInspector.addExtensions = function(extensions)
63 WebInspector.extensionServerProxy._addExtensions(extensions);
66 WebInspector.setInspectedTabId = function(tabId)
68 WebInspector._inspectedTabId = tabId;