Index: core/html/HTMLMediaElement.idl |
diff --git a/core/html/HTMLMediaElement.idl b/core/html/HTMLMediaElement.idl |
index 3d87a591ba3918c6f558d978f50760c41452c5bb..aa9d0405be6540ac997516ab4536c35aaef5aedf 100644 |
--- a/core/html/HTMLMediaElement.idl |
+++ b/core/html/HTMLMediaElement.idl |
@@ -30,11 +30,11 @@ |
] interface HTMLMediaElement : HTMLElement { |
// error state |
- [TypeChecking=Interface|Nullable] readonly attribute MediaError? error; |
+ readonly attribute MediaError? error; |
// network state |
- [Reflect, URL, LogActivity=SetterOnly] attribute DOMString src; |
- [URL, LogActivity=SetterOnly] readonly attribute DOMString currentSrc; |
+ [Reflect, URL] attribute DOMString src; |
+ [URL] readonly attribute DOMString currentSrc; |
[Reflect, ReflectOnly="anonymous"|"use-credentials", ReflectEmpty="anonymous", ReflectInvalid="anonymous"] attribute DOMString crossOrigin; |
const unsigned short NETWORK_EMPTY = 0; |
@@ -46,7 +46,7 @@ |
readonly attribute TimeRanges buffered; |
void load(); |
- DOMString canPlayType(DOMString type, [Default=Undefined, TreatNullAs=NullString, TreatUndefinedAs=NullString] optional DOMString keySystem); |
+ DOMString canPlayType(DOMString type, [Default=Undefined, TreatUndefinedAs=NullString] optional DOMString? keySystem); |
// ready state |
const unsigned short HAVE_NOTHING = 0; |
@@ -73,10 +73,10 @@ |
// media controller |
[RuntimeEnabled=MediaController, Reflect] attribute DOMString mediaGroup; |
- [RuntimeEnabled=MediaController, TypeChecking=Interface|Nullable] attribute MediaController? controller; |
+ [RuntimeEnabled=MediaController, TypeChecking=Interface] attribute MediaController? controller; |
// controls |
- attribute boolean controls; |
+ [Reflect] attribute boolean controls; |
[RaisesException=Setter] attribute double volume; |
attribute boolean muted; |
[Reflect=muted] attribute boolean defaultMuted; |