Index: public/platform/Platform.h |
diff --git a/public/platform/Platform.h b/public/platform/Platform.h |
index da4e278ed6b711ec4968dfc8f94f03b469dd9875..a40beac299a193c811563e27ae3f6a53873b16f1 100644 |
--- a/public/platform/Platform.h |
+++ b/public/platform/Platform.h |
@@ -80,6 +80,7 @@ class WebPrescientNetworking; |
class WebRTCPeerConnectionHandler; |
class WebRTCPeerConnectionHandlerClient; |
class WebSandboxSupport; |
+class WebSocketHandle; |
class WebSocketStreamHandle; |
class WebSpeechSynthesizer; |
class WebSpeechSynthesizerClient; |
@@ -302,6 +303,9 @@ public: |
// Returns a new WebSocketStreamHandle instance. |
virtual WebSocketStreamHandle* createSocketStreamHandle() { return 0; } |
+ // Returns a new WebSocketHandle instance. |
+ virtual WebSocketHandle* createWebSocketHandle() { return 0; } |
+ |
// Returns the User-Agent string that should be used for the given URL. |
virtual WebString userAgent(const WebURL&) { return WebString(); } |