| Index: Source/core/html/HTMLMediaElement.idl
|
| diff --git a/Source/core/html/HTMLMediaElement.idl b/Source/core/html/HTMLMediaElement.idl
|
| index 55095b57d072b3d5220f58146987080f3aa641e7..20d3bdd8559f61b8e7386365692c04b7da68da6e 100644
|
| --- a/Source/core/html/HTMLMediaElement.idl
|
| +++ b/Source/core/html/HTMLMediaElement.idl
|
| @@ -29,7 +29,7 @@
|
| ] interface HTMLMediaElement : HTMLElement {
|
|
|
| // error state
|
| - readonly attribute MediaError error;
|
| + [StrictTypeChecking] readonly attribute MediaError? error;
|
|
|
| // network state
|
| [Reflect, URL, PerWorldBindings, ActivityLogging=SetterForIsolatedWorlds] attribute DOMString src;
|
| @@ -73,7 +73,7 @@
|
|
|
| // media controller
|
| [Reflect] attribute DOMString mediaGroup;
|
| - [StrictTypeChecking] attribute MediaController controller;
|
| + [StrictTypeChecking] attribute MediaController? controller;
|
|
|
| // controls
|
| attribute boolean controls;
|
|
|