| Index: third_party/WebKit/Source/modules/webmidi/MIDIAccessInitializer.h
|
| diff --git a/third_party/WebKit/Source/modules/webmidi/MIDIAccessInitializer.h b/third_party/WebKit/Source/modules/webmidi/MIDIAccessInitializer.h
|
| index dd0cc7c732e807932f0272955172062022ed16e8..727630cabdcb526a8aeb57d726aff2413af518d3 100644
|
| --- a/third_party/WebKit/Source/modules/webmidi/MIDIAccessInitializer.h
|
| +++ b/third_party/WebKit/Source/modules/webmidi/MIDIAccessInitializer.h
|
| @@ -62,12 +62,12 @@ public:
|
| void didReceiveMIDIData(unsigned portIndex, const unsigned char* data, size_t length, double timeStamp) override { }
|
|
|
| void resolvePermission(bool allowed);
|
| - SecurityOrigin* securityOrigin() const;
|
| + SecurityOrigin* getSecurityOrigin() const;
|
|
|
| private:
|
| MIDIAccessInitializer(ScriptState*, const MIDIOptions&);
|
|
|
| - ExecutionContext* executionContext() const;
|
| + ExecutionContext* getExecutionContext() const;
|
| ScriptPromise start();
|
| void dispose();
|
|
|
|
|