diff options
author | Fernando Jiménez Moreno <ferjmoreno@gmail.com> | 2018-10-17 16:16:21 +0200 |
---|---|---|
committer | Fernando Jiménez Moreno <ferjmoreno@gmail.com> | 2018-10-26 10:17:32 +0200 |
commit | 2db141fb8b7c941d77ffa0ff32b872679b55ea2b (patch) | |
tree | ecf1adf74e70924eefd7a202449efe378980cd7f /components/script/dom/webidls/HTMLMediaElement.webidl | |
parent | abc0f50d208722f4f55e1742ba55936369ecdc3f (diff) | |
download | servo-2db141fb8b7c941d77ffa0ff32b872679b55ea2b.tar.gz servo-2db141fb8b7c941d77ffa0ff32b872679b55ea2b.zip |
Setter and getter for HTMLMediaElement.currentTime
Diffstat (limited to 'components/script/dom/webidls/HTMLMediaElement.webidl')
-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 e00b1de7c4f..a8b9241c54d 100644 --- a/components/script/dom/webidls/HTMLMediaElement.webidl +++ b/components/script/dom/webidls/HTMLMediaElement.webidl @@ -37,7 +37,7 @@ interface HTMLMediaElement : HTMLElement { // readonly attribute boolean seeking; // playback state - // attribute double currentTime; + attribute double currentTime; // void fastSeek(double time); readonly attribute unrestricted double duration; // Date getStartDate(); |