| Index: Source/modules/webmidi/MIDIInput.h
|
| diff --git a/Source/modules/webmidi/MIDIInput.h b/Source/modules/webmidi/MIDIInput.h
|
| index 83e38cebbcd7f9a471fc892379d96ecdcd5c09a8..e7c4c21daf0ca94491cd03db89505ac473f854c0 100644
|
| --- a/Source/modules/webmidi/MIDIInput.h
|
| +++ b/Source/modules/webmidi/MIDIInput.h
|
| @@ -43,13 +43,13 @@ class MIDIInput final : public MIDIPort {
|
| DEFINE_WRAPPERTYPEINFO();
|
| public:
|
| static MIDIInput* create(MIDIAccess*, const String& id, const String& manufacturer, const String& name, const String& version, MIDIAccessor::MIDIPortState);
|
| - virtual ~MIDIInput() { }
|
| + ~MIDIInput() override { }
|
|
|
| EventListener* onmidimessage();
|
| void setOnmidimessage(PassRefPtr<EventListener>);
|
|
|
| // EventTarget
|
| - virtual const AtomicString& interfaceName() const override { return EventTargetNames::MIDIInput; }
|
| + const AtomicString& interfaceName() const override { return EventTargetNames::MIDIInput; }
|
|
|
| // |timeStamp| is a DOMHighResTimeStamp in the time coordinate system of performance.now().
|
| void didReceiveMIDIData(unsigned portIndex, const unsigned char* data, size_t length, double timeStamp);
|
|
|