| Index: third_party/WebKit/Source/modules/webmidi/MIDIInput.h
|
| diff --git a/third_party/WebKit/Source/modules/webmidi/MIDIInput.h b/third_party/WebKit/Source/modules/webmidi/MIDIInput.h
|
| index d55c9715eac5581a52f6c51f8e3c91ab3e11a9e7..aca39608d329ab5b39ac2e0e5eefb2a07388c144 100644
|
| --- a/third_party/WebKit/Source/modules/webmidi/MIDIInput.h
|
| +++ b/third_party/WebKit/Source/modules/webmidi/MIDIInput.h
|
| @@ -59,7 +59,8 @@ class MIDIInput final : public MIDIPort {
|
| return EventTargetNames::MIDIInput;
|
| }
|
|
|
| - // |timeStamp| is a DOMHighResTimeStamp in the time coordinate system of performance.now().
|
| + // |timeStamp| is a DOMHighResTimeStamp in the time coordinate system of
|
| + // performance.now().
|
| void didReceiveMIDIData(unsigned portIndex,
|
| const unsigned char* data,
|
| size_t length,
|
|
|