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) |