Index: Source/core/html/HTMLMediaElement.idl |
diff --git a/Source/core/html/HTMLMediaElement.idl b/Source/core/html/HTMLMediaElement.idl |
index edde013cc4b45670499bf14e839f7f674ca0bab2..2df110a1915fba28ed78c45ccf0e8dff1bd874cd 100644 |
--- a/Source/core/html/HTMLMediaElement.idl |
+++ b/Source/core/html/HTMLMediaElement.idl |
@@ -26,7 +26,7 @@ |
[ |
ActiveDOMObject, |
RuntimeEnabled=Media, |
- SpecialWrapFor=HTMLAudioElement|HTMLVideoElement, |
+ SpecialWrapFor=(HTMLAudioElement,HTMLVideoElement), |
TypeChecking=Unrestricted, |
] interface HTMLMediaElement : HTMLElement { |
@@ -36,7 +36,7 @@ |
// network state |
[Reflect, URL] attribute DOMString src; |
[URL] readonly attribute DOMString currentSrc; |
- [Reflect, ReflectOnly="anonymous"|"use-credentials", ReflectEmpty="anonymous", ReflectInvalid="anonymous"] attribute DOMString crossOrigin; |
+ [Reflect, ReflectOnly=("anonymous","use-credentials"), ReflectEmpty="anonymous", ReflectInvalid="anonymous"] attribute DOMString crossOrigin; |
const unsigned short NETWORK_EMPTY = 0; |
const unsigned short NETWORK_IDLE = 1; |