- From: <bugzilla@jessica.w3.org>
- Date: Fri, 28 Sep 2012 11:33:00 +0000
- To: public-html@w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=19109
Summary: MediaController.play() should make media elements
start playing
Product: HTML WG
Version: unspecified
Platform: PC
OS/Version: All
Status: NEW
Severity: normal
Priority: P2
Component: HTML5 spec
AssignedTo: silviapfeiffer1@gmail.com
ReportedBy: silviapfeiffer1@gmail.com
QAContact: public-html-bugzilla@w3.org
CC: mike@w3.org, public-html-wg-issue-tracking@w3.org,
public-html@w3.org
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
--
Configure bugmail: https://www.w3.org/Bugs/Public/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
Received on Friday, 28 September 2012 11:33:06 UTC