Index: third_party/WebKit/Source/core/html/HTMLMediaElement.h |
diff --git a/third_party/WebKit/Source/core/html/HTMLMediaElement.h b/third_party/WebKit/Source/core/html/HTMLMediaElement.h |
index 1b3a7d95135ecac2a6aae4dffedc9f3a5ecdfd55..fa05bccdfa5a3e07cd4d9c2a4692a858e5a9c720 100644 |
--- a/third_party/WebKit/Source/core/html/HTMLMediaElement.h |
+++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.h |
@@ -98,6 +98,10 @@ class CORE_EXPORT HTMLMediaElement |
// by the page). |
static bool mediaTracksEnabledInternally(); |
+ // Notify the HTMLMediaElement that the media controls settings have changed |
+ // for the given document. |
+ static void onMediaControlsEnabledChange(Document*); |
+ |
DECLARE_VIRTUAL_TRACE(); |
DECLARE_VIRTUAL_TRACE_WRAPPERS(); |