| Index: Source/modules/webmidi/MIDIPort.idl
|
| diff --git a/Source/modules/webmidi/MIDIPort.idl b/Source/modules/webmidi/MIDIPort.idl
|
| index 261eb7cdb83679b1fdddfa853b9c4c52f828c4d5..944cacb6834ad95d65858fb5cfe5af2d0de4fd20 100644
|
| --- a/Source/modules/webmidi/MIDIPort.idl
|
| +++ b/Source/modules/webmidi/MIDIPort.idl
|
| @@ -43,5 +43,5 @@ enum MIDIPortType {
|
| readonly attribute MIDIPortType type;
|
| readonly attribute DOMString version;
|
|
|
| - attribute EventListener ondisconnect;
|
| + attribute EventHandler ondisconnect;
|
| };
|
|
|