| Index: Source/core/html/HTMLMediaElement.idl
|
| diff --git a/Source/core/html/HTMLMediaElement.idl b/Source/core/html/HTMLMediaElement.idl
|
| index faf41158f5dc6975d5ae9ed154c2d1fec0f74b57..b7e27f7c3843c945bae7a315666e55148fb30a8a 100644
|
| --- a/Source/core/html/HTMLMediaElement.idl
|
| +++ b/Source/core/html/HTMLMediaElement.idl
|
| @@ -72,8 +72,8 @@
|
| void pause();
|
|
|
| // media controller
|
| - [Reflect] attribute DOMString mediaGroup;
|
| - [TypeChecking=Interface|Nullable|String] attribute MediaController? controller;
|
| + [RuntimeEnabled=MediaController, Reflect] attribute DOMString mediaGroup;
|
| + [RuntimeEnabled=MediaController, TypeChecking=Interface|Nullable|String] attribute MediaController? controller;
|
|
|
| // controls
|
| attribute boolean controls;
|
|
|