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 d3d8cb9ff2129ed1bb357ade23ccad1ae4dbd8a0..5015759d851e0b346e463e4b8a9afed0d8717ede 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(); |