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