Index: third_party/WebKit/Source/modules/webmidi/DEPS |
diff --git a/third_party/WebKit/Source/modules/webmidi/DEPS b/third_party/WebKit/Source/modules/webmidi/DEPS |
index a538054d84d4b58d62837d88b9eae876555305ef..e9cf97a671a5f1548d7345f32f5398df20bd7a3e 100644 |
--- a/third_party/WebKit/Source/modules/webmidi/DEPS |
+++ b/third_party/WebKit/Source/modules/webmidi/DEPS |
@@ -6,6 +6,7 @@ include_rules = [ |
"+modules/EventModules.h", |
"+modules/EventTargetModules.h", |
"+modules/ModulesExport.h", |
+ "+modules/permissions", |
"+modules/webmidi", |
"+platform", |
"+public/platform", |