| Index: chrome/browser/DEPS
|
| diff --git a/chrome/browser/DEPS b/chrome/browser/DEPS
|
| index a7c968fdf352aca993eb812110b7c4a7cc0e243b..e10a03ffd3d606591cc7a638232d9f44c526aff0 100644
|
| --- a/chrome/browser/DEPS
|
| +++ b/chrome/browser/DEPS
|
| @@ -94,6 +94,7 @@ include_rules = [
|
| # No inclusion of WebKit from the browser, other than strictly enum/POD,
|
| # header-only types, and some selected common code.
|
| "-third_party/WebKit",
|
| + "+third_party/WebKit/public/platform/WebCache.h",
|
| "+third_party/WebKit/public/platform/WebDisplayMode.h",
|
| "+third_party/WebKit/public/platform/WebLoadingBehaviorFlag.h",
|
| "+third_party/WebKit/public/platform/WebGestureEvent.h",
|
| @@ -113,7 +114,6 @@ include_rules = [
|
| "+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",
|
| - "+third_party/WebKit/public/web/WebCache.h",
|
| "+third_party/WebKit/public/web/WebContextMenuData.h",
|
| "+third_party/WebKit/public/web/WebFindOptions.h",
|
| "+third_party/WebKit/public/web/WebMediaPlayerAction.h",
|
|
|