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. |