| Index: Source/core/html/HTMLMediaElement.idl
|
| diff --git a/Source/core/html/HTMLMediaElement.idl b/Source/core/html/HTMLMediaElement.idl
|
| index dae45e1824e7a0bfd4deea08690163fa7f43d583..62ebfe94ec5d3b5da6b09e2104f885e68cd16cfd 100644
|
| --- a/Source/core/html/HTMLMediaElement.idl
|
| +++ b/Source/core/html/HTMLMediaElement.idl
|
| @@ -32,7 +32,7 @@
|
| readonly attribute MediaError error;
|
|
|
| // network state
|
| - [Reflect, TreatNullAs=NullString, URL] attribute DOMString src;
|
| + [Reflect, URL] attribute DOMString src;
|
| [URL] readonly attribute DOMString currentSrc;
|
|
|
| const unsigned short NETWORK_EMPTY = 0;
|
| @@ -72,7 +72,7 @@
|
| void pause();
|
|
|
| // media controller
|
| - [Reflect, TreatNullAs=NullString] attribute DOMString mediaGroup;
|
| + [Reflect] attribute DOMString mediaGroup;
|
| [CustomSetter] attribute MediaController controller;
|
|
|
| // controls
|
|
|