| Index: Source/core/html/HTMLMediaElement.idl
|
| diff --git a/Source/core/html/HTMLMediaElement.idl b/Source/core/html/HTMLMediaElement.idl
|
| index 5c207aa95c6b31f80389e3782d20fdce4278a5bd..d8bf11ff694ab0c05d66fb537cf2c9bec6eea280 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] attribute MediaController? controller;
|
| + [RuntimeEnabled=MediaController, Reflect] attribute DOMString mediaGroup;
|
| + [RuntimeEnabled=MediaController, TypeChecking=Interface|Nullable] attribute MediaController? controller;
|
|
|
| // controls
|
| attribute boolean controls;
|
|
|