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(); |