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