| 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 f50ab5da85130dff7e227889859d037d109474da..98581789b57b5c3fdd8f1fd74daf03f7c9801769 100644
|
| --- a/third_party/WebKit/Source/modules/webmidi/MIDIPort.h
|
| +++ b/third_party/WebKit/Source/modules/webmidi/MIDIPort.h
|
| @@ -94,7 +94,7 @@ class MIDIPort : public EventTargetWithInlineData,
|
| bool hasPendingActivity() const final;
|
|
|
| // ContextLifecycleObserver
|
| - void contextDestroyed() override;
|
| + void contextDestroyed(ExecutionContext*) override;
|
|
|
| protected:
|
| MIDIPort(MIDIAccess*,
|
|
|