Index: public/platform/Platform.h |
diff --git a/public/platform/Platform.h b/public/platform/Platform.h |
index da4e278ed6b711ec4968dfc8f94f03b469dd9875..1c99b199426d51cf3ff823f616f63ab12cc69409 100644 |
--- a/public/platform/Platform.h |
+++ b/public/platform/Platform.h |
@@ -80,6 +80,7 @@ class WebPrescientNetworking; |
class WebRTCPeerConnectionHandler; |
class WebRTCPeerConnectionHandlerClient; |
class WebSandboxSupport; |
+class WebSocketChannelHandle; |
class WebSocketStreamHandle; |
class WebSpeechSynthesizer; |
class WebSpeechSynthesizerClient; |
@@ -302,6 +303,9 @@ public: |
// Returns a new WebSocketStreamHandle instance. |
virtual WebSocketStreamHandle* createSocketStreamHandle() { return 0; } |
+ // Returns a new WebSocketChannelHandle instance. |
+ virtual WebSocketChannelHandle* createWebSocketChannelHandle() { return 0; } |
abarth-chromium
2013/08/22 19:39:07
Is the word "channel" essential here? Can we just
yhirano
2013/08/23 01:35:13
Done.
|
+ |
// Returns the User-Agent string that should be used for the given URL. |
virtual WebString userAgent(const WebURL&) { return WebString(); } |