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; |