| Index: third_party/WebKit/Source/devtools/front_end/extensions/ExtensionServer.js
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/extensions/ExtensionServer.js b/third_party/WebKit/Source/devtools/front_end/extensions/ExtensionServer.js
|
| index 6eccd285e34f85ef0ce873884ed56422ffcb8ff1..40f82a7f8af4a21f27eb546b87e1ad82491d9d56 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/extensions/ExtensionServer.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/extensions/ExtensionServer.js
|
| @@ -766,7 +766,7 @@ WebInspector.ExtensionServer.prototype = {
|
| var extensionOrigin = originMatch[1];
|
| if (!this._registeredExtensions[extensionOrigin]) {
|
| // See ExtensionAPI.js for details.
|
| - InspectorFrontendHost.setInjectedScriptForOrigin(extensionOrigin, buildExtensionAPIInjectedScript(extensionInfo, this._inspectedTabId));
|
| + InspectorFrontendHost.setInjectedScriptForOrigin(extensionOrigin, buildExtensionAPIInjectedScript(extensionInfo, this._inspectedTabId, WebInspector.themeSupport.themeName()));
|
| this._registeredExtensions[extensionOrigin] = { name: name };
|
| }
|
| var iframe = createElement("iframe");
|
|
|