Chromium Code Reviews| 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); |
| } |
| } |