Bug 19109 - MediaController.play() should make media elements start playing
MediaController.play() should make media elements start playing
Status: RESOLVED FIXED
Product: HTML WG
Classification: Unclassified
Component: HTML5 spec
unspecified
PC All
: P2 normal
: ---
Assigned To: Silvia Pfeiffer
HTML WG Bugzilla archive list
:
Depends on:
Blocks:
  Show dependency treegraph
 
Reported: 2012-09-28 11:33 UTC by Silvia Pfeiffer
Modified: 2012-10-06 00:47 UTC (History)
3 users (show)

See Also:


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Silvia Pfeiffer 2012-09-28 11:33:00 UTC
Make MediaController.play() work as people expect, and make .unpause() just unpause the MediaController (what play() used to do).

This will apply the following WHATWG patch:

https://github.com/w3c/html/commit/7faabbe84083e7afdf0d42fb621f3994dec18ace
Comment 1 Silvia Pfeiffer 2012-10-06 00:47:25 UTC
EDITOR'S RESPONSE: This is an Editor's Response to your comment. If
you are satisfied with this response, please change the state of
this bug to CLOSED. If you have additional information and would
like the Editor to reconsider, please reopen this bug. If you would
like to escalate the issue to the full HTML Working Group, please
add the TrackerRequest keyword to this bug, and suggest title and
text for the Tracker Issue; or you may create a Tracker Issue
yourself, if you are able to do so. For more details, see this
document:   http://dev.w3.org/html5/decision-policy/decision-policy-v2.html

Status: Accepted
Change Description:
https://github.com/w3c/html/commit/7faabbe84083e7afdf0d42fb621f3994dec18ace
https://github.com/w3c/html/commit/0f93d7e1e560544c4139491561b7a8b97aadc51b
Rationale: accepted WHATWG change