| Index: core/html/HTMLMediaElement.idl
|
| diff --git a/core/html/HTMLMediaElement.idl b/core/html/HTMLMediaElement.idl
|
| index a30598b917496d0721d6b1a93940785111cee38b..a4dbf6fdf6da0061859f2586735722a718525866 100644
|
| --- a/core/html/HTMLMediaElement.idl
|
| +++ b/core/html/HTMLMediaElement.idl
|
| @@ -34,6 +34,7 @@
|
| // network state
|
| [Reflect, URL, PerWorldBindings, ActivityLogging=SetterForIsolatedWorlds] attribute DOMString src;
|
| [URL, PerWorldBindings, ActivityLogging=SetterForIsolatedWorlds] readonly attribute DOMString currentSrc;
|
| + [Reflect] attribute DOMString crossOrigin;
|
|
|
| const unsigned short NETWORK_EMPTY = 0;
|
| const unsigned short NETWORK_IDLE = 1;
|
| @@ -56,7 +57,7 @@
|
| readonly attribute boolean seeking;
|
|
|
| // playback state
|
| - [SetterRaisesException] attribute double currentTime;
|
| + [RaisesException=Setter] attribute double currentTime;
|
| readonly attribute double duration;
|
| readonly attribute boolean paused;
|
| attribute double defaultPlaybackRate;
|
| @@ -71,11 +72,11 @@
|
|
|
| // media controller
|
| [Reflect] attribute DOMString mediaGroup;
|
| - [CustomSetter] attribute MediaController controller;
|
| + [StrictTypeChecking] attribute MediaController controller;
|
|
|
| // controls
|
| attribute boolean controls;
|
| - [SetterRaisesException] attribute double volume;
|
| + [RaisesException=Setter] attribute double volume;
|
| attribute boolean muted;
|
| [Reflect=muted] attribute boolean defaultMuted;
|
|
|
| @@ -99,5 +100,5 @@
|
| [RuntimeEnabled=PrefixedEncryptedMedia] attribute EventHandler onwebkitkeymessage;
|
| [RuntimeEnabled=PrefixedEncryptedMedia] attribute EventHandler onwebkitneedkey;
|
|
|
| - [RuntimeEnabled=EncryptedMedia, Conditional=ENCRYPTED_MEDIA_V2] attribute MediaKeys mediaKeys;
|
| + [RuntimeEnabled=EncryptedMedia] attribute MediaKeys mediaKeys;
|
| };
|
|
|