This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 19109 - MediaController.play() should make media elements start playing
Summary: MediaController.play() should make media elements start playing
Status: RESOLVED FIXED
Alias: None
Product: HTML WG
Classification: Unclassified
Component: HTML5 spec (show other bugs)
Version: unspecified
Hardware: PC All
: P2 normal
Target Milestone: ---
Assignee: Silvia Pfeiffer
QA Contact: HTML WG Bugzilla archive list
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2012-09-28 11:33 UTC by Silvia Pfeiffer
Modified: 2012-10-06 00:47 UTC (History)
3 users (show)

See Also:


Attachments

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