diff options
author | Fernando Jiménez Moreno <ferjmoreno@gmail.com> | 2018-09-21 12:58:03 +0200 |
---|---|---|
committer | Fernando Jiménez Moreno <ferjmoreno@gmail.com> | 2018-10-08 16:12:03 +0200 |
commit | f4ba7e503bfa89805950e29cd9bd729e99264bda (patch) | |
tree | cfc3b48bd5ae10dd661255b006e5c24f7d9339dc /components/script/dom/webidls | |
parent | 6904535865c3d7edebfdfc5919bc9207013d4cf8 (diff) | |
download | servo-f4ba7e503bfa89805950e29cd9bd729e99264bda.tar.gz servo-f4ba7e503bfa89805950e29cd9bd729e99264bda.zip |
Media element duration param
Diffstat (limited to 'components/script/dom/webidls')
-rw-r--r-- | components/script/dom/webidls/HTMLMediaElement.webidl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/components/script/dom/webidls/HTMLMediaElement.webidl b/components/script/dom/webidls/HTMLMediaElement.webidl index b67a5e3c1fe..e00b1de7c4f 100644 --- a/components/script/dom/webidls/HTMLMediaElement.webidl +++ b/components/script/dom/webidls/HTMLMediaElement.webidl @@ -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; |