Chromium Code Reviews| 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", |