| Index: third_party/WebKit/Source/modules/webmidi/MIDIAccess.h
|
| diff --git a/third_party/WebKit/Source/modules/webmidi/MIDIAccess.h b/third_party/WebKit/Source/modules/webmidi/MIDIAccess.h
|
| index 037a07c8e844e0d0ee57472a0485d9af303499b3..1fa593576242991c25f6aa8dde6a8855c49c24e2 100644
|
| --- a/third_party/WebKit/Source/modules/webmidi/MIDIAccess.h
|
| +++ b/third_party/WebKit/Source/modules/webmidi/MIDIAccess.h
|
| @@ -91,7 +91,7 @@ class MIDIAccess final : public EventTargetWithInlineData,
|
| bool hasPendingActivity() const final;
|
|
|
| // ActiveDOMObject
|
| - void stop() override;
|
| + void contextDestroyed() override;
|
|
|
| // MIDIAccessorClient
|
| void didAddInputPort(const String& id,
|
|
|