W3C home > Mailing lists > Public > public-html-media@w3.org > May 2014

[Bug 25901] New: [EME] HTMLMediaElement.mediaKeys should be nullable

From: <bugzilla@jessica.w3.org>
Date: Wed, 28 May 2014 01:35:20 +0000
To: public-html-media@w3.org
Message-ID: <bug-25901-5436@http.www.w3.org/Bugs/Public/>
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

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:33:03 UTC