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 c52ac43394ff77537bdfee6c561747263261be8e..bc6314859ce7219f13cd1f6e9371f2a55a510c40 100644 |
--- a/third_party/WebKit/public/web/WebFrameClient.h |
+++ b/third_party/WebKit/public/web/WebFrameClient.h |
@@ -91,6 +91,7 @@ class WebMediaSession; |
class WebMediaStream; |
class WebNotificationPermissionCallback; |
class WebServiceWorkerProvider; |
+class WebSocketHandle; |
class WebPlugin; |
class WebPresentationClient; |
class WebPushClient; |
@@ -550,6 +551,11 @@ 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. |