| Index: third_party/WebKit/Source/modules/webmidi/MIDIPort.idl
|
| diff --git a/third_party/WebKit/Source/modules/webmidi/MIDIPort.idl b/third_party/WebKit/Source/modules/webmidi/MIDIPort.idl
|
| index 0f448679e808c607e1aba1437ed40a06aa0ca411..0cdd7c0ece01e1db6f5c0fbc59b9f8247e965cf5 100644
|
| --- a/third_party/WebKit/Source/modules/webmidi/MIDIPort.idl
|
| +++ b/third_party/WebKit/Source/modules/webmidi/MIDIPort.idl
|
| @@ -47,6 +47,7 @@ enum MIDIPortType {
|
| [
|
| DependentLifetime,
|
| GarbageCollected,
|
| + RequiresFinalizer,
|
| ] interface MIDIPort : EventTarget {
|
| readonly attribute MIDIPortConnectionState connection;
|
| readonly attribute DOMString id;
|
|
|