| Index: Source/modules/webmidi/MIDIPort.idl
|
| diff --git a/Source/modules/webmidi/MIDIPort.idl b/Source/modules/webmidi/MIDIPort.idl
|
| index e7e2aa9f87a204969318580f984b683adf0a657a..261eb7cdb83679b1fdddfa853b9c4c52f828c4d5 100644
|
| --- a/Source/modules/webmidi/MIDIPort.idl
|
| +++ b/Source/modules/webmidi/MIDIPort.idl
|
| @@ -35,9 +35,8 @@ enum MIDIPortType {
|
|
|
| [
|
| NoInterfaceObject,
|
| - ActiveDOMObject,
|
| - EventTarget
|
| -] interface MIDIPort {
|
| + ActiveDOMObject
|
| +] interface MIDIPort : EventTarget {
|
| readonly attribute DOMString id;
|
| readonly attribute DOMString manufacturer;
|
| readonly attribute DOMString name;
|
| @@ -45,13 +44,4 @@ enum MIDIPortType {
|
| readonly attribute DOMString version;
|
|
|
| attribute EventListener ondisconnect;
|
| -
|
| - // EventTarget interface
|
| - void addEventListener(DOMString type,
|
| - EventListener listener,
|
| - optional boolean useCapture);
|
| - void removeEventListener(DOMString type,
|
| - EventListener listener,
|
| - optional boolean useCapture);
|
| - [RaisesException] boolean dispatchEvent(Event event);
|
| };
|
|
|