| Index: third_party/WebKit/Source/modules/webaudio/MediaElementAudioSourceOptions.idl
|
| diff --git a/third_party/WebKit/Source/modules/webaudio/MediaElementAudioSourceOptions.idl b/third_party/WebKit/Source/modules/webaudio/MediaElementAudioSourceOptions.idl
|
| index f51f2e6a5f6c837cf36a707f6ef1508612b65b4a..d5d564148a0a8b05e5d9ab7dd8447a930ff9334f 100644
|
| --- a/third_party/WebKit/Source/modules/webaudio/MediaElementAudioSourceOptions.idl
|
| +++ b/third_party/WebKit/Source/modules/webaudio/MediaElementAudioSourceOptions.idl
|
| @@ -4,5 +4,5 @@
|
|
|
| // See https://webaudio.github.io/web-audio-api/#mediaelementaudiosourceoptions
|
| dictionary MediaElementAudioSourceOptions {
|
| - HTMLMediaElement mediaElement;
|
| + required HTMLMediaElement mediaElement;
|
| };
|
|
|