Index: third_party/WebKit/public/blink_headers.gypi |
diff --git a/third_party/WebKit/public/blink_headers.gypi b/third_party/WebKit/public/blink_headers.gypi |
index 59aa637786a9db103d186ed30ada8e15c3c1bf77..ab9c31b37f945c8e0599393492d5c95a17085b44 100644 |
--- a/third_party/WebKit/public/blink_headers.gypi |
+++ b/third_party/WebKit/public/blink_headers.gypi |
@@ -307,10 +307,6 @@ |
"platform/modules/vr/WebVR.h", |
"platform/modules/webmidi/WebMIDIAccessor.h", |
"platform/modules/webmidi/WebMIDIAccessorClient.h", |
- "platform/modules/websockets/WebSocketHandle.h", |
- "platform/modules/websockets/WebSocketHandleClient.h", |
- "platform/modules/websockets/WebSocketHandshakeRequestInfo.h", |
- "platform/modules/websockets/WebSocketHandshakeResponseInfo.h", |
"platform/scheduler/base/task_queue.h", |
"platform/scheduler/child/child_scheduler.h", |
"platform/scheduler/child/compositor_worker_scheduler.h", |