| Index: Source/WebCore/html/shadow/MediaControlsChromium.cpp
|
| diff --git a/Source/WebCore/html/shadow/MediaControlsChromium.cpp b/Source/WebCore/html/shadow/MediaControlsChromium.cpp
|
| index 85857e873d22880908f9cc02c90b5cd447e69d79..b8ba9be828f5730d7686f323949ab3290306d955 100644
|
| --- a/Source/WebCore/html/shadow/MediaControlsChromium.cpp
|
| +++ b/Source/WebCore/html/shadow/MediaControlsChromium.cpp
|
| @@ -156,7 +156,7 @@ void MediaControlsChromium::reset()
|
| if (!page)
|
| return;
|
|
|
| - float duration = m_mediaController->duration();
|
| + double duration = m_mediaController->duration();
|
| m_durationDisplay->setInnerText(page->theme()->formatMediaControlsTime(duration), ASSERT_NO_EXCEPTION);
|
| m_durationDisplay->setCurrentValue(duration);
|
|
|
| @@ -173,8 +173,8 @@ void MediaControlsChromium::playbackStarted()
|
|
|
| void MediaControlsChromium::updateCurrentTimeDisplay()
|
| {
|
| - float now = m_mediaController->currentTime();
|
| - float duration = m_mediaController->duration();
|
| + double now = m_mediaController->currentTime();
|
| + double duration = m_mediaController->duration();
|
|
|
| Page* page = document()->page();
|
| if (!page)
|
|
|