-
eric.carlson@apple.com authored
Reviewed by Darin Adler. NULL check HTMLMediaElement::m_playedTimeRanges. Fix for https://bugs.webkit.org/show_bug.cgi?id=29494 * html/HTMLMediaElement.cpp: (WebCore::HTMLMediaElement::addPlayedRange): New. Create m_playedTimeRanges if necessary, add range specified. (WebCore::HTMLMediaElement::seek): Use addPlayedRange. (WebCore::HTMLMediaElement::played): Use addPlayedRange. Change time comparison to be more readable. (WebCore::HTMLMediaElement::updatePlayState): Ditto. * html/HTMLMediaElement.h: git-svn-id: http://svn.webkit.org/repository/webkit/trunk@48519 268f45cc-cd09-0410-ab3c-d52691b4dbfc
b2498fa7