| 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 b08300f0ce605991cf1d92037620f2bddbc45ce6..f1d90b5ff366a741d5165de4a27ee171e1d2b5fb 100644
|
| --- a/third_party/WebKit/public/platform/Platform.h
|
| +++ b/third_party/WebKit/public/platform/Platform.h
|
| @@ -107,7 +107,6 @@ class WebSandboxSupport;
|
| class WebScrollbarBehavior;
|
| class WebSecurityOrigin;
|
| class WebServiceWorkerCacheStorage;
|
| -class WebSocketHandle;
|
| class WebSpeechSynthesizer;
|
| class WebSpeechSynthesizerClient;
|
| class WebStorageNamespace;
|
| @@ -304,9 +303,6 @@ 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(); }
|
|
|
|
|