Web MIDI: MIDIAccessor platform implementation and Blink API

public/platform/WebMIDIAccessor.h

Index: public/platform/WebMIDIAccessor.h
diff --git a/public/platform/WebMIDIAccessor.h b/public/platform/WebMIDIAccessor.h
index 9426f572ccf876c8081c6044e134542408824068..2c5a3c04019cabdd6140fec820015ecd0075ab92 100644
--- a/public/platform/WebMIDIAccessor.h
+++ b/public/platform/WebMIDIAccessor.h
@@ -35,14 +35,12 @@
 
 namespace WebKit {
 
-// Abstract interface to the Chromium MIDI system.
-
 class WebMIDIAccessor {
 public:
     virtual ~WebMIDIAccessor() { }
 
-    // |access| is set to 1 if MIDIOptions.sysexEnabled is true. Otherwise 0.
-    virtual void requestAccess(int access) { }
+    // |access| is set to true if MIDIOptions.sysexEnabled is true. Otherwise false.
+    virtual void requestAccess(bool access) { }
     // |timeStamp| is measured in milliseconds as Web MIDI spec defines.
     virtual void sendMIDIData(unsigned portIndex, const unsigned char* data, size_t length, double timeStamp) { }
 };