Index: core/html/MediaController.idl |
diff --git a/core/html/MediaController.idl b/core/html/MediaController.idl |
index 0a61cb608ac213f8d763b6c55d494b6d80a51667..ca1dad47a81b9c3d4c87c0d7eca19200c46d36d0 100644 |
--- a/core/html/MediaController.idl |
+++ b/core/html/MediaController.idl |
@@ -23,30 +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, |
- TypeChecking=Unrestricted, |
] 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. |
}; |