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