| 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 8b23ad510093b6d3a00400df059d636b6df34ff4..9d3155b104803851b490d1bea305e06226dc157c 100644
|
| --- a/third_party/WebKit/Source/modules/webmidi/MIDIAccess.h
|
| +++ b/third_party/WebKit/Source/modules/webmidi/MIDIAccess.h
|
| @@ -90,7 +90,7 @@ class MIDIAccess final : public EventTargetWithInlineData,
|
| bool hasPendingActivity() const final;
|
|
|
| // ContextLifecycleObserver
|
| - void contextDestroyed() override;
|
| + void contextDestroyed(ExecutionContext*) override;
|
|
|
| // MIDIAccessorClient
|
| void didAddInputPort(const String& id,
|
|
|