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