Index: third_party/WebKit/public/platform/Platform.h |
diff --git a/third_party/WebKit/public/platform/Platform.h b/third_party/WebKit/public/platform/Platform.h |
index 363f6b7a89ad4b300d7154e49ab2cf7c5169c38f..2ce65ea0583f69703e9ce0ad20ed4e688ee6b244 100644 |
--- a/third_party/WebKit/public/platform/Platform.h |
+++ b/third_party/WebKit/public/platform/Platform.h |
@@ -107,6 +107,7 @@ class WebSandboxSupport; |
class WebScrollbarBehavior; |
class WebSecurityOrigin; |
class WebServiceWorkerCacheStorage; |
+class WebSocketHandle; |
class WebSpeechSynthesizer; |
class WebSpeechSynthesizerClient; |
class WebStorageNamespace; |
@@ -303,6 +304,9 @@ public: |
// May return null. |
virtual WebPrescientNetworking* prescientNetworking() { return nullptr; } |
+ // Returns a new WebSocketHandle instance. |
+ virtual WebSocketHandle* createWebSocketHandle() { return nullptr; } |
+ |
// Returns the User-Agent string. |
virtual WebString userAgent() { return WebString(); } |