Index: chrome/browser/DEPS |
diff --git a/chrome/browser/DEPS b/chrome/browser/DEPS |
index 26e5f878246b9abeb2a81f13c3f405be9a7d1906..7018aa27e07850481895b17f3e0dd9b8b04370b6 100644 |
--- a/chrome/browser/DEPS |
+++ b/chrome/browser/DEPS |
@@ -128,6 +128,7 @@ include_rules = [ |
"+third_party/WebKit/public/platform/modules/push_messaging/WebPushPermissionStatus.h", |
"+third_party/WebKit/public/platform/modules/remoteplayback/WebRemotePlaybackAvailability.h", |
"+third_party/WebKit/public/platform/modules/screen_orientation/WebScreenOrientationLockType.h", |
+ "+third_party/WebKit/public/platform/modules/webauth/authenticator.mojom.h", |
jochen (gone - plz use gerrit)
2017/06/28 07:38:30
no longer needed?
kpaulhamus
2017/06/28 08:48:15
Done.
|
"+third_party/WebKit/public/platform/modules/webshare/webshare.mojom.h", |
"+third_party/WebKit/public/platform/site_engagement.mojom.h", |
"+third_party/WebKit/public/public_features.h", |