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, |