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 0ecace5d34fdb9a441537662c0cf2383bbb85744..3d819c79d1b00d82a37e4023f83332c0f415c3a9 100644 |
--- a/third_party/WebKit/Source/core/html/HTMLMediaElement.h |
+++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.h |
@@ -400,7 +400,6 @@ class CORE_EXPORT HTMLMediaElement |
bool isAutoplayingMuted() final; |
void requestReload(const WebURL&) final; |
void activateViewportIntersectionMonitoring(bool) final; |
- |
void loadTimerFired(TimerBase*); |
void progressEventTimerFired(TimerBase*); |
void playbackProgressTimerFired(TimerBase*); |
@@ -483,7 +482,7 @@ class CORE_EXPORT HTMLMediaElement |
void requireOfficialPlaybackPositionUpdate() const; |
void ensureMediaControls(); |
- void configureMediaControls(); |
+ void updateControlsVisibility(); |
TextTrackContainer& ensureTextTrackContainer(); |
@@ -746,6 +745,8 @@ class CORE_EXPORT HTMLMediaElement |
IntRect m_currentIntersectRect; |
+ Member<MediaControls> m_mediaControls; |
+ |
static URLRegistry* s_mediaStreamRegistry; |
}; |