| 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 570f06e4361cd22ef18d3b32259e999e9c934946..12f8032a09fd6f53d7464938bb5a1d98a15dde23 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,7 @@ Extensions.ExtensionServer = class extends Common.Object {
|
| var injectedScript;
|
| if (options.injectedScript)
|
| injectedScript = '(function(){' + options.injectedScript + '})()';
|
| - SDK.targetManager.reloadPage(!!options.ignoreCache, injectedScript);
|
| + SDK.ResourceTreeModel.reloadAllPages(!!options.ignoreCache, injectedScript);
|
| return this._status.OK();
|
| }
|
|
|
|
|