Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(1307)

Unified Diff: third_party/WebKit/public/platform/DEPS

Issue 2706313002: Media Capabilities: add plumbing between Blink and media/blink/. (Closed)
Patch Set: oups Created 3 years, 9 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
Index: third_party/WebKit/public/platform/DEPS
diff --git a/third_party/WebKit/public/platform/DEPS b/third_party/WebKit/public/platform/DEPS
index 4caf401b07131fc6c1ea10227088367a37bcd766..cf0e7d8aa057c161665b5b04d7413b0580036046 100644
--- a/third_party/WebKit/public/platform/DEPS
+++ b/third_party/WebKit/public/platform/DEPS
@@ -3,6 +3,7 @@ include_rules = [
"+base/location.h",
"+base/logging.h",
"+base/metrics",
+ "+base/optional.h",
"+base/strings",
"+base/trace_event",
"-bindings",

Powered by Google App Engine
This is Rietveld 408576698