Index: Source/devtools/front_end/ExtensionServer.js |
diff --git a/Source/devtools/front_end/ExtensionServer.js b/Source/devtools/front_end/ExtensionServer.js |
index b610d1b17b5c6c4f2f2b78c6f46df0c667b927b4..bf57fb187aa986f1506d79b1f20ef3928e0fce08 100644 |
--- a/Source/devtools/front_end/ExtensionServer.js |
+++ b/Source/devtools/front_end/ExtensionServer.js |
@@ -326,7 +326,8 @@ WebInspector.ExtensionServer.prototype = { |
var injectedScript; |
if (options.injectedScript) |
injectedScript = "(function(){" + options.injectedScript + "})()"; |
- PageAgent.reload(!!options.ignoreCache, injectedScript); |
+ var preprocessingScript = options.preprocessingScript; |
+ PageAgent.reload(!!options.ignoreCache, injectedScript, preprocessingScript); |
return this._status.OK(); |
}, |