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