| Index: Source/devtools/front_end/extensions/ExtensionServer.js
|
| diff --git a/Source/devtools/front_end/extensions/ExtensionServer.js b/Source/devtools/front_end/extensions/ExtensionServer.js
|
| index 78d709734fc4f0ef0ec28f25070d66d28ed331a7..f5e4500ef273807cd56d2f33bbaf1026a3a75c99 100644
|
| --- a/Source/devtools/front_end/extensions/ExtensionServer.js
|
| +++ b/Source/devtools/front_end/extensions/ExtensionServer.js
|
| @@ -423,10 +423,9 @@ WebInspector.ExtensionServer.prototype = {
|
| var injectedScript;
|
| if (options.injectedScript)
|
| injectedScript = "(function(){" + options.injectedScript + "})()";
|
| - var preprocessingScript = options.preprocessingScript;
|
| // Reload main frame.
|
| var target = WebInspector.targetManager.mainTarget();
|
| - target.resourceTreeModel.reloadPage(!!options.ignoreCache, injectedScript, preprocessingScript);
|
| + target.resourceTreeModel.reloadPage(!!options.ignoreCache, injectedScript);
|
| return this._status.OK();
|
| },
|
|
|
|
|