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 fedf5b36c5ab3899d3da147f762b0df6e59f1461..66e3b92894c7579e88f1b4cf2485c19ba824b4b1 100644 |
--- a/third_party/WebKit/public/blink_headers.gypi |
+++ b/third_party/WebKit/public/blink_headers.gypi |
@@ -307,6 +307,10 @@ |
"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", |