| Index: Source/modules/webmidi/MIDIPort.h
|
| diff --git a/Source/modules/webmidi/MIDIPort.h b/Source/modules/webmidi/MIDIPort.h
|
| index 08aa1b11ab4921e80b1f77100c5408efef4c6628..96066ce8dc58cdb4474c668ad402594ae3477c4c 100644
|
| --- a/Source/modules/webmidi/MIDIPort.h
|
| +++ b/Source/modules/webmidi/MIDIPort.h
|
| @@ -58,7 +58,7 @@ public:
|
| TypeOutput
|
| };
|
|
|
| - virtual ~MIDIPort() { }
|
| + ~MIDIPort() override { }
|
|
|
| String connection() const;
|
| String id() const { return m_id; }
|
| @@ -82,7 +82,7 @@ public:
|
|
|
| // EventTarget
|
| const AtomicString& interfaceName() const override { return EventTargetNames::MIDIPort; }
|
| - ExecutionContext* executionContext() const override final;
|
| + ExecutionContext* executionContext() const final;
|
|
|
| // ActiveDOMObject
|
| bool hasPendingActivity() const override;
|
|
|