| Index: Source/WebCore/html/HTMLMediaElement.idl
|
| diff --git a/Source/WebCore/html/HTMLMediaElement.idl b/Source/WebCore/html/HTMLMediaElement.idl
|
| index 8d658c0d00848536484b1ef7f858a2be81e3a78c..cb3750d451a60ae7bc72c0996dd94c03494bee7b 100644
|
| --- a/Source/WebCore/html/HTMLMediaElement.idl
|
| +++ b/Source/WebCore/html/HTMLMediaElement.idl
|
| @@ -62,14 +62,14 @@ readonly attribute unsigned short readyState;
|
| readonly attribute boolean seeking;
|
|
|
| // playback state
|
| -attribute float currentTime
|
| +attribute double currentTime
|
| setter raises (DOMException);
|
| 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;
|
| @@ -80,7 +80,7 @@ void pause();
|
|
|
| // controls
|
| attribute boolean controls;
|
| -attribute float volume
|
| +attribute double volume
|
| setter raises (DOMException);
|
| attribute boolean muted;
|
| attribute [Reflect=muted] boolean defaultMuted;
|
|
|