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