- From: <bugzilla@jessica.w3.org>
- Date: Wed, 28 May 2014 01:35:20 +0000
- To: public-html-media@w3.org
https://www.w3.org/Bugs/Public/show_bug.cgi?id=25901 Bug ID: 25901 Summary: [EME] HTMLMediaElement.mediaKeys should be nullable Product: HTML WG Version: unspecified Hardware: PC OS: Windows NT Status: NEW Severity: normal Priority: P2 Component: Encrypted Media Extensions Assignee: adrianba@microsoft.com Reporter: cpearce@mozilla.com QA Contact: public-html-bugzilla@w3.org CC: mike@w3.org, public-html-media@w3.org The IDL for EME's partial interface for HTMLMediaElement [1] defines the HTMLMediaElement.mediaKeys attribute to be non nullable, but the HTMLMediaElement.setMediaKeys() spec says that the HTMLMediaElement.mediaKeys can be null [2]. The mediaKeys attribute should be nullable, i.e.: readonly attribute MediaKeys? mediaKeys; [1] https://dvcs.w3.org/hg/html-media/raw-file/default/encrypted-media/encrypted-media.html#extensions [2] https://dvcs.w3.org/hg/html-media/raw-file/default/encrypted-media/encrypted-media.html#dom-setmediakeys -- You are receiving this mail because: You are on the CC list for the bug.
Received on Wednesday, 28 May 2014 01:35:21 UTC