From 2db141fb8b7c941d77ffa0ff32b872679b55ea2b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fernando=20Jim=C3=A9nez=20Moreno?= <ferjmoreno@gmail.com>
Date: Wed, 17 Oct 2018 16:16:21 +0200
Subject: Setter and getter for HTMLMediaElement.currentTime

---
 components/script/dom/webidls/HTMLMediaElement.webidl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'components/script/dom/webidls')

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();
-- 
cgit v1.2.3