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

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