Add preprocessor to reloadOptions in chrome.devtools.inspectedWindow.reload().

Source/devtools/front_end/ExtensionServer.js

 /*
  * Copyright (C) 2011 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 308 matching lines @@
         return true;
     },
 
     _onReload: function(message)
     {
         var options = /** @type ExtensionReloadOptions */ (message.options || {});
         NetworkAgent.setUserAgentOverride(typeof options.userAgent === "string" ? options.userAgent : "");
         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();
     },
 
     _onEvaluateOnInspectedPage: function(message, port)
     {
         /**
          * @param {?Protocol.Error} error
          * @param {RuntimeAgent.RemoteObject} resultPayload
          * @param {boolean=} wasThrown
          */
@@ skipping 558 matching lines @@
 
 WebInspector.extensionServer = new WebInspector.ExtensionServer();
 
 window.addExtension = function(page, name)
 {
     WebInspector.extensionServer._addExtension({
         startPage: page,
         name: name,
     });
 }