Index: Source/core/html/MediaController.idl |
diff --git a/Source/core/html/MediaController.idl b/Source/core/html/MediaController.idl |
index af201b4c8c1a4acd6a433571673006472d4f2ccc..ca1dad47a81b9c3d4c87c0d7eca19200c46d36d0 100644 |
--- a/Source/core/html/MediaController.idl |
+++ b/Source/core/html/MediaController.idl |
@@ -23,29 +23,35 @@ |
* OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. |
*/ |
-// http://www.whatwg.org/specs/web-apps/current-work/multipage/the-video-element.html#mediacontroller |
+// https://html.spec.whatwg.org/#media-controllers |
+ |
+enum MediaControllerPlaybackState { "waiting", "playing", "ended" }; |
[ |
Constructor, |
ConstructorCallWith=ExecutionContext, |
RuntimeEnabled=MediaController, |
] interface MediaController : EventTarget { |
+ // TODO(philipj): Expose readyState. |
+ // readonly attribute unsigned short readyState; // uses HTMLMediaElement.readyState's values |
+ |
readonly attribute TimeRanges buffered; |
readonly attribute TimeRanges seekable; |
- |
readonly attribute unrestricted double duration; |
attribute double currentTime; |
readonly attribute boolean paused; |
+ readonly attribute MediaControllerPlaybackState playbackState; |
readonly attribute TimeRanges played; |
- readonly attribute DOMString playbackState; |
- void play(); |
void pause(); |
void unpause(); |
+ void play(); // calls play() on all media elements as well |
attribute double defaultPlaybackRate; |
attribute double playbackRate; |
[RaisesException=Setter] attribute double volume; |
attribute boolean muted; |
+ |
+ // TODO(philipj): Expose the on* event handler attributes. |
}; |