| Index: Source/core/html/HTMLMediaElement.idl
|
| diff --git a/Source/core/html/HTMLMediaElement.idl b/Source/core/html/HTMLMediaElement.idl
|
| index 60d9ba670a288c3e6e4e34cb870ed100625bb818..a30598b917496d0721d6b1a93940785111cee38b 100644
|
| --- a/Source/core/html/HTMLMediaElement.idl
|
| +++ b/Source/core/html/HTMLMediaElement.idl
|
| @@ -32,8 +32,8 @@
|
| readonly attribute MediaError error;
|
|
|
| // network state
|
| - [Reflect, URL] attribute DOMString src;
|
| - [URL] readonly attribute DOMString currentSrc;
|
| + [Reflect, URL, PerWorldBindings, ActivityLogging=SetterForIsolatedWorlds] attribute DOMString src;
|
| + [URL, PerWorldBindings, ActivityLogging=SetterForIsolatedWorlds] readonly attribute DOMString currentSrc;
|
|
|
| const unsigned short NETWORK_EMPTY = 0;
|
| const unsigned short NETWORK_IDLE = 1;
|
|
|