Index: Source/core/html/HTMLMediaElement.cpp |
diff --git a/Source/core/html/HTMLMediaElement.cpp b/Source/core/html/HTMLMediaElement.cpp |
index 35f8cd734ac77d7fa55aba347ec080f1add8dda1..827ded9982188a31317042a0b5ac9d6287e4e0e2 100644 |
--- a/Source/core/html/HTMLMediaElement.cpp |
+++ b/Source/core/html/HTMLMediaElement.cpp |
@@ -2404,6 +2404,7 @@ void HTMLMediaElement::playbackProgressTimerFired(Timer<HTMLMediaElement>*) |
if (m_fragmentEndTime != MediaPlayer::invalidTime() && currentTime() >= m_fragmentEndTime && m_playbackRate > 0) { |
m_fragmentEndTime = MediaPlayer::invalidTime(); |
if (!m_mediaController && !m_paused) { |
acolwell GONE FROM CHROMIUM
2014/03/04 01:22:15
The mediaController portion of this condition seem
philipj_slow
2014/03/04 03:53:20
I hadn't given the controller condition any though
|
+ UseCounter::count(document(), UseCounter::HTMLMediaElementPauseAtFragmentEnd); |
// changes paused to true and fires a simple event named pause at the media element. |
pause(); |
} |
@@ -3855,6 +3856,7 @@ void HTMLMediaElement::applyMediaFragmentURI() |
{ |
if (m_fragmentStartTime != MediaPlayer::invalidTime()) { |
m_sentEndEvent = false; |
+ UseCounter::count(document(), UseCounter::HTMLMediaElementSeekToFragmentStart); |
seek(m_fragmentStartTime, IGNORE_EXCEPTION); |
} |
} |