Index: third_party/WebKit/public/platform/DEPS |
diff --git a/third_party/WebKit/public/platform/DEPS b/third_party/WebKit/public/platform/DEPS |
index 76b11842fda3685820daecc296fd56145cfd8d54..360fcce6de33ba41b2ed86b09bfd75d8274af678 100644 |
--- a/third_party/WebKit/public/platform/DEPS |
+++ b/third_party/WebKit/public/platform/DEPS |
@@ -13,6 +13,7 @@ include_rules = [ |
# TODO(toyoshim): Remove following media/midi direct dependency in public |
# interface once Web MIDI starts calling the Mojo service inside Blink. |
# http://crbug.com/582327 |
+ "+media/capture/mojo/video_capture_types.mojom-shared.h", |
jochen (gone - plz use gerrit)
2017/01/12 11:54:42
this should go above the comment, and you should a
shenghao
2017/01/13 11:09:34
Deleted
|
"+media/midi/midi_service.mojom-shared.h", |
"+mojo/public", |
"+platform", |