| Index: Source/core/html/HTMLMediaElement.idl
|
| diff --git a/Source/core/html/HTMLMediaElement.idl b/Source/core/html/HTMLMediaElement.idl
|
| index 55095b57d072b3d5220f58146987080f3aa641e7..2a1dfc22bf102d7db24a45cbc54b18e0a371ca0f 100644
|
| --- a/Source/core/html/HTMLMediaElement.idl
|
| +++ b/Source/core/html/HTMLMediaElement.idl
|
| @@ -73,7 +73,7 @@
|
|
|
| // media controller
|
| [Reflect] attribute DOMString mediaGroup;
|
| - [StrictTypeChecking] attribute MediaController controller;
|
| + [StrictTypeChecking] attribute MediaController? controller;
|
|
|
| // controls
|
| attribute boolean controls;
|
|
|