Index: Source/WebCore/html/HTMLMediaElement.idl |
diff --git a/Source/WebCore/html/HTMLMediaElement.idl b/Source/WebCore/html/HTMLMediaElement.idl |
index cf5f30b88cb172b3deae519c7480f16d52eb1c08..c2b1e63d66617c980c7a557302b8476039b69187 100644 |
--- a/Source/WebCore/html/HTMLMediaElement.idl |
+++ b/Source/WebCore/html/HTMLMediaElement.idl |
@@ -62,13 +62,13 @@ readonly attribute unsigned short readyState; |
readonly attribute boolean seeking; |
// playback state |
-[SetterRaisesException] attribute float currentTime; |
+[SetterRaisesException] attribute double currentTime; |
readonly attribute double initialTime; |
-readonly attribute float startTime; |
-readonly attribute float duration; |
+readonly attribute double startTime; |
+readonly attribute double duration; |
readonly attribute boolean paused; |
-attribute float defaultPlaybackRate; |
-attribute float playbackRate; |
+attribute double defaultPlaybackRate; |
+attribute double playbackRate; |
readonly attribute TimeRanges played; |
readonly attribute TimeRanges seekable; |
readonly attribute boolean ended; |
@@ -79,7 +79,7 @@ void pause(); |
// controls |
attribute boolean controls; |
-[SetterRaisesException] attribute float volume; |
+[SetterRaisesException] attribute double volume; |
attribute boolean muted; |
[Reflect=muted] attribute boolean defaultMuted; |