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