mirror of
https://github.com/servo/servo.git
synced 2025-08-06 14:10:11 +01:00
Media element duration param
This commit is contained in:
parent
6904535865
commit
f4ba7e503b
4 changed files with 30 additions and 10 deletions
|
@ -39,7 +39,7 @@ interface HTMLMediaElement : HTMLElement {
|
|||
// playback state
|
||||
// attribute double currentTime;
|
||||
// void fastSeek(double time);
|
||||
// readonly attribute unrestricted double duration;
|
||||
readonly attribute unrestricted double duration;
|
||||
// Date getStartDate();
|
||||
readonly attribute boolean paused;
|
||||
// attribute double defaultPlaybackRate;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue