[not for commit] try out fix with darin's cl.

third_party/WebKit/public/web/WebFrameClient.h

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 ebde5da8af21027974c7ee9c42cd823c54ae8549..0681774b1f44db2b2e0320348c6b8062eab2614e 100644
--- a/third_party/WebKit/public/web/WebFrameClient.h
+++ b/third_party/WebKit/public/web/WebFrameClient.h
@@ -91,7 +91,6 @@ class WebMediaSession;
 class WebMediaStream;
 class WebNotificationPermissionCallback;
 class WebServiceWorkerProvider;
-class WebSocketHandle;
 class WebPlugin;
 class WebPresentationClient;
 class WebPushClient;
@@ -562,11 +561,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.