Index: Source/core/html/HTMLMediaElement.h |
diff --git a/Source/core/html/HTMLMediaElement.h b/Source/core/html/HTMLMediaElement.h |
index 6f539a0bd30757c50c9e939d57f7547960ee2ceb..4874cde5959676cb8f2d6176c89915a6c2c371ff 100644 |
--- a/Source/core/html/HTMLMediaElement.h |
+++ b/Source/core/html/HTMLMediaElement.h |
@@ -411,10 +411,15 @@ private: |
void updateVolume(); |
void updatePlayState(); |
bool potentiallyPlaying() const; |
- bool endedPlayback() const; |
bool stoppedDueToErrors() const; |
bool couldPlayIfEnoughData() const; |
+ // Generally the presence of the loop attribute should be considered to mean playback |
+ // has not "ended", as "ended" and "looping" are mutually exclusive. See |
+ // https://html.spec.whatwg.org/multipage/embedded-content.html#ended-playback |
+ enum class LoopCondition { Included, Ignored }; |
+ bool endedPlayback(LoopCondition = LoopCondition::Included) const; |
+ |
void setShouldDelayLoadEvent(bool); |
void invalidateCachedTime(); |
void refreshCachedTime() const; |