-
vrk@chromium.org authored
https://bugs.webkit.org/show_bug.cgi?id=95986 Reviewed by Eric Carlson. This seeks the media element to the end of the media resource if the current playback position has become greater than the duration after a duration change. http://dev.w3.org/html5/spec/media-elements.html#durationChange Source/WebCore: Test: http/tests/media/media-source/seek-to-end-after-duration-change.html * html/HTMLMediaElement.cpp: (WebCore::HTMLMediaElement::mediaPlayerDurationChanged): After firing the duration change event, checks to see if current time exceeds duration and if so, seeks to duration. LayoutTests: * http/tests/media/media-source/seek-to-end-after-duration-change-expected.txt: Added. * http/tests/media/media-source/seek-to-end-after-duration-change.html: Added. git-svn-id: http://svn.webkit.org/repository/webkit/trunk@127949 268f45cc-cd09-0410-ab3c-d52691b4dbfc
f023d89c