Chromium Code Reviews| 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(); } |