Index: third_party/WebKit/public/platform/DEPS |
diff --git a/third_party/WebKit/public/platform/DEPS b/third_party/WebKit/public/platform/DEPS |
index f4bae6f8cc23fc1a6d66b5491b979c8a5bf30af0..b81685c64a748c3f3df7e13c2eb520574bea2573 100644 |
--- a/third_party/WebKit/public/platform/DEPS |
+++ b/third_party/WebKit/public/platform/DEPS |
@@ -9,6 +9,10 @@ include_rules = [ |
"-cc/blink", |
"-core", |
"-modules", |
+ # 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/midi/midi_service.mojom-shared.h", |
Reilly Grant (use Gerrit)
2016/10/11 17:57:57
The shared header shouldn't be included directly.
Takashi Toyoshima
2016/10/12 05:01:44
WebMIDIAccessorClient.h includes this file, and it
Reilly Grant (use Gerrit)
2016/10/12 17:48:05
I checked with rockot@ and he says that including
|
"+mojo/public", |
"+platform", |
"+platform/weborigin", |