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 3d4b4c86ee81d18bde363883fbdb2364ab1a3b23..6f86d8aab039263f8af8aa14969fbea0dea10906 100644 |
--- a/third_party/WebKit/Source/core/html/HTMLMediaElement.h |
+++ b/third_party/WebKit/Source/core/html/HTMLMediaElement.h |
@@ -401,6 +401,7 @@ class CORE_EXPORT HTMLMediaElement |
void disconnectedFromRemoteDevice() final; |
void cancelledRemotePlaybackRequest() final; |
void remotePlaybackStarted() final; |
+ void onBecamePersistentVideo(bool) final; |
bool hasSelectedVideoTrack() final; |
WebMediaPlayer::TrackId getSelectedVideoTrackId() final; |
bool isAutoplayingMuted() final; |
@@ -740,6 +741,7 @@ class CORE_EXPORT HTMLMediaElement |
friend class MediaControlsTest; |
friend class HTMLMediaElementTest; |
friend class HTMLMediaElementEventListenersTest; |
+ friend class HTMLMediaElementPersistentVideoTest; |
friend class HTMLVideoElement; |
friend class HTMLVideoElementTest; |
friend class MediaControlsOrientationLockDelegateTest; |
@@ -756,6 +758,8 @@ class CORE_EXPORT HTMLMediaElement |
Member<MediaControls> m_mediaControls; |
Member<HTMLMediaElementControlsList> m_controlsList; |
+ bool m_isPersistentVideo; |
+ |
static URLRegistry* s_mediaStreamRegistry; |
}; |