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 a5fd674d44729cc1f010fcbc5a197f5c2db339b4..599b51c5affb47bd19b638de15c7fec01cc7f8cf 100644 |
--- a/third_party/WebKit/Source/core/html/HTMLMediaElement.h |
+++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.h |
@@ -33,6 +33,7 @@ |
#include "core/CoreExport.h" |
#include "core/dom/ActiveDOMObject.h" |
#include "core/dom/ExceptionCode.h" |
+#include "core/dom/Fullscreen.h" |
#include "core/events/GenericEventQueue.h" |
#include "core/html/AutoplayExperimentHelper.h" |
#include "core/html/HTMLElement.h" |
@@ -79,6 +80,7 @@ class CORE_EXPORT HTMLMediaElement : public HTMLElement, |
public Supplementable<HTMLMediaElement>, |
public ActiveScriptWrappable, |
public ActiveDOMObject, |
+ public Fullscreen::FullscreenObserver, |
private WebMediaPlayerClient { |
DEFINE_WRAPPERTYPEINFO(); |
USING_GARBAGE_COLLECTED_MIXIN(HTMLMediaElement); |
@@ -360,6 +362,10 @@ class CORE_EXPORT HTMLMediaElement : public HTMLElement, |
void setReadyState(ReadyState); |
void setNetworkState(WebMediaPlayer::NetworkState); |
+ // Fullscreen::FullscreenObserver implementation. |
+ void onEnteredFullscreen() override; |
+ void onExitedFullscreen() override; |
+ |
// WebMediaPlayerClient implementation. |
void networkStateChanged() final; |
void readyStateChanged() final; |