| Index: third_party/WebKit/Source/modules/webmidi/MIDIConnectionEventInit.idl
|
| diff --git a/third_party/WebKit/Source/modules/webmidi/MIDIConnectionEventInit.idl b/third_party/WebKit/Source/modules/webmidi/MIDIConnectionEventInit.idl
|
| index 3e539cefb928b7904808eff9822c9d42eac5402b..d47f755f5d7f2893cfdde3ef0b220aff28dfc4fa 100644
|
| --- a/third_party/WebKit/Source/modules/webmidi/MIDIConnectionEventInit.idl
|
| +++ b/third_party/WebKit/Source/modules/webmidi/MIDIConnectionEventInit.idl
|
| @@ -5,5 +5,8 @@
|
| // http://webaudio.github.io/web-midi-api/#idl-def-MIDIConnectionEventInit
|
|
|
| dictionary MIDIConnectionEventInit : EventInit {
|
| - MIDIPort port;
|
| + // TODO(foolip): |port| should be required and not nullable.
|
| + // https://crbug.com/647693
|
| + // https://github.com/WebAudio/web-midi-api/issues/168
|
| + MIDIPort? port;
|
| };
|
|
|