Index: third_party/WebKit/Source/modules/webmidi/MIDIPort.h |
diff --git a/third_party/WebKit/Source/modules/webmidi/MIDIPort.h b/third_party/WebKit/Source/modules/webmidi/MIDIPort.h |
index 307398801dcd32d6363e88438bdd90e63003fa83..60593688cd2ec835ba9680c3b492f58703104b06 100644 |
--- a/third_party/WebKit/Source/modules/webmidi/MIDIPort.h |
+++ b/third_party/WebKit/Source/modules/webmidi/MIDIPort.h |
@@ -92,7 +92,7 @@ class MIDIPort : public EventTargetWithInlineData, |
bool hasPendingActivity() const final; |
// ActiveDOMObject |
- void stop() override; |
+ void contextDestroyed() override; |
protected: |
MIDIPort(MIDIAccess*, |