| 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",
|
| "+mojo/public",
|
| "+platform",
|
| "+platform/weborigin",
|
|
|