Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-05 21:50:18 +01:00
Code Issues Projects Releases Packages Wiki Activity

Setter and getter for HTMLMediaElement.currentTime

Browse source
This commit is contained in:
Fernando Jiménez Moreno 2018-10-17 16:16:21 +02:00
parent abc0f50d20
commit 2db141fb8b
2 changed files with 56 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

2
components/script/dom/webidls/HTMLMediaElement.webidl
View file

@ -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();