| 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();
|
|
|