Home
last modified time | relevance | path

Searched refs:extensionInfo (Results 1 – 4 of 4) sorted by relevance

/external/chromium_org/chrome/browser/resources/net_internals/
Dmodules_view.js55 var hasExtensionInfo = this.onExtensionInfoChanged(data.extensionInfo);
60 onExtensionInfoChanged: function(extensionInfo) { argument
61 var input = new JsEvalContext({extensionInfo: extensionInfo}); property
63 return !!extensionInfo;
Dbrowser_bridge.js78 this.pollableDataHelpers_.extensionInfo =
414 receivedExtensionInfo: function(extensionInfo) { argument
415 this.pollableDataHelpers_.extensionInfo.update(extensionInfo);
678 this.pollableDataHelpers_.extensionInfo.addObserver(
/external/chromium_org/third_party/WebKit/Source/devtools/front_end/extensions/
DExtensionAPI.js1019 if (extensionInfo.exposeExperimentalAPIs !== false) {
1030 if (extensionInfo.exposeWebInspectorNamespace)
1038 function buildPlatformExtensionAPI(extensionInfo) argument
1040 return "var extensionInfo = " + JSON.stringify(extensionInfo) + ";" +
1049 function buildExtensionAPIInjectedScript(extensionInfo) argument
1055 buildPlatformExtensionAPI(extensionInfo) + ";" +
DExtensionServer.js800 _addExtension: function(extensionInfo) argument
803 var startPage = extensionInfo.startPage;
804 var name = extensionInfo.name;
815 …ndHost.setInjectedScriptForOrigin(extensionOrigin, buildExtensionAPIInjectedScript(extensionInfo));