| Index: Source/core/html/HTMLMediaElement.idl
|
| diff --git a/Source/core/html/HTMLMediaElement.idl b/Source/core/html/HTMLMediaElement.idl
|
| index 3d87a591ba3918c6f558d978f50760c41452c5bb..a9f342710707c5c031b12779d7a968f87a3e3862 100644
|
| --- a/Source/core/html/HTMLMediaElement.idl
|
| +++ b/Source/core/html/HTMLMediaElement.idl
|
| @@ -76,7 +76,7 @@
|
| [RuntimeEnabled=MediaController, TypeChecking=Interface|Nullable] attribute MediaController? controller;
|
|
|
| // controls
|
| - attribute boolean controls;
|
| + [Reflect] attribute boolean controls;
|
| [RaisesException=Setter] attribute double volume;
|
| attribute boolean muted;
|
| [Reflect=muted] attribute boolean defaultMuted;
|
|
|