Prepending view-source: does not load the source of the userscript.

webkit/glue/resource_loader_bridge.h

 // Copyright (c) 2012 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 //
 // The intent of this file is to provide a type-neutral abstraction between
 // Chrome and WebKit for resource loading. This pure-virtual interface is
 // implemented by the embedder.
 //
 // One of these objects will be created by WebKit for each request. WebKit
 // will own the pointer to the bridge, and will delete it when the request is
@@ skipping 198 matching lines @@
   struct WEBKIT_GLUE_EXPORT RequestInfo {
     RequestInfo();
     ~RequestInfo();
 
     // HTTP-style method name (e.g., "GET" or "POST").
     std::string method;
 
     // Absolute URL encoded in ASCII per the rules of RFC-2396.
     GURL url;
 
+    // The virtual URL is the URL that is seen by the user.
+    GURL virtual_url;
+
     // URL of the document in the top-level window, which may be checked by the
     // third-party cookie blocking policy.
     GURL first_party_for_cookies;
 
     // Optional parameter, a URL with similar constraints in how it must be
     // encoded as the url member.
     GURL referrer;
 
     // The referrer policy that applies to the referrer.
     WebKit::WebReferrerPolicy referrer_policy;
@@ skipping 177 matching lines @@
   // methods may be called to construct the body of the request.
   WEBKIT_GLUE_EXPORT ResourceLoaderBridge();
 
  private:
   DISALLOW_COPY_AND_ASSIGN(ResourceLoaderBridge);
 };
 
 }  // namespace webkit_glue
 
 #endif  // WEBKIT_GLUE_RESOURCE_LOADER_BRIDGE_H_