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/>

            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;



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.4.0 : Friday, 17 January 2020 15:48:49 UTC