| 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 663d8cee9a3f84ecf32f16c1e0bfd6238f8433c3..8bb279f8ccefa43ed499cec4d6202c2ffbdb32ff 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/extensions/ExtensionServer.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/extensions/ExtensionServer.js
|
| @@ -422,7 +422,8 @@ Extensions.ExtensionServer = class extends Common.Object {
|
| var injectedScript;
|
| if (options.injectedScript)
|
| injectedScript = '(function(){' + options.injectedScript + '})()';
|
| - SDK.targetManager.reloadPage(!!options.ignoreCache, injectedScript);
|
| + for (var resourceTreeModel of SDK.targetManager.models(SDK.ResourceTreeModel))
|
| + resourceTreeModel.reloadPage(!!options.ignoreCache, injectedScript);
|
| return this._status.OK();
|
| }
|
|
|
|
|