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(); |
} |