This is an archived snapshot of W3C's public bugzilla bug tracker, decommissioned in April 2019. Please see the home page for more details.

Bug 25901 - [EME] HTMLMediaElement.mediaKeys should be nullable
Summary: [EME] HTMLMediaElement.mediaKeys should be nullable
Status: RESOLVED FIXED
Alias: None
Product: HTML WG
Classification: Unclassified
Component: Encrypted Media Extensions (show other bugs)
Version: unspecified
Hardware: PC Windows NT
: P2 normal
Target Milestone: ---
Assignee: David Dorwin
QA Contact: HTML WG Bugzilla archive list
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2014-05-28 01:35 UTC by Chris Pearce
Modified: 2014-06-12 17:55 UTC (History)
4 users (show)

See Also:

Attachments

Description Chris Pearce 2014-05-28 01:35:20 UTC 
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
Comment 1 David Dorwin 2014-06-12 17:55:15 UTC 
Added the '?' in https://dvcs.w3.org/hg/html-media/rev/6b2c3622f578.