| Index: third_party/WebKit/public/web/WebFrameClient.h
|
| diff --git a/third_party/WebKit/public/web/WebFrameClient.h b/third_party/WebKit/public/web/WebFrameClient.h
|
| index 523b2d733fe7295b2fdcb2ff99cf42d49707e68c..83e75a348029ae1e6521edbb6c8e3c78927c86bd 100644
|
| --- a/third_party/WebKit/public/web/WebFrameClient.h
|
| +++ b/third_party/WebKit/public/web/WebFrameClient.h
|
| @@ -90,7 +90,6 @@ class WebMediaPlayerSource;
|
| class WebMediaSession;
|
| class WebMediaStream;
|
| class WebServiceWorkerProvider;
|
| -class WebSocketHandle;
|
| class WebPlugin;
|
| class WebPresentationClient;
|
| class WebPushClient;
|
| @@ -545,11 +544,6 @@ public:
|
| unsigned long long newQuotaInBytes,
|
| WebStorageQuotaCallbacks) { }
|
|
|
| - // WebSocket -----------------------------------------------------
|
| -
|
| - // A WebSocket object is going to open a new WebSocket connection.
|
| - virtual void willOpenWebSocket(WebSocketHandle*) { }
|
| -
|
| // MediaStream -----------------------------------------------------
|
|
|
| // A new WebRTCPeerConnectionHandler is created.
|
|
|