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; |
}; |