Index: Source/Platform/chromium/public/Platform.h |
diff --git a/Source/Platform/chromium/public/Platform.h b/Source/Platform/chromium/public/Platform.h |
index 39eea50589c119086ec1772266261372d185d686..566305709c633907bf65e267ca185e78e0b2df96 100644 |
--- a/Source/Platform/chromium/public/Platform.h |
+++ b/Source/Platform/chromium/public/Platform.h |
@@ -68,6 +68,7 @@ class WebMediaStreamCenterClient; |
class WebMessagePortChannel; |
class WebMimeRegistry; |
class WebPluginListBuilder; |
+class WebPrescientNetworking; |
class WebRTCPeerConnectionHandler; |
class WebRTCPeerConnectionHandlerClient; |
class WebSandboxSupport; |
@@ -268,6 +269,9 @@ public: |
// A suggestion to prefetch IP information for the given hostname. |
virtual void prefetchHostName(const WebString&) { } |
+ // May return null. |
+ virtual WebPrescientNetworking* prescientNetworking() { return 0; } |
+ |
// Returns a new WebSocketStreamHandle instance. |
virtual WebSocketStreamHandle* createSocketStreamHandle() { return 0; } |