Web MIDI API (work in progress)

public/platform/Platform.h

Index: public/platform/Platform.h
diff --git a/public/platform/Platform.h b/public/platform/Platform.h
index acff9862dc1663b4f3cc6a0b73606bc332a52457..56cd45d2401c98d252194d655522687099ddca4f 100644
--- a/public/platform/Platform.h
+++ b/public/platform/Platform.h
@@ -41,6 +41,7 @@
 #include "WebGamepads.h"
 #include "WebGraphicsContext3D.h"
 #include "WebLocalizedString.h"
+#include "WebMIDIAccessor.h"
 #include "WebSpeechSynthesizer.h"
 #include "WebString.h"
 #include "WebVector.h"
@@ -143,6 +144,8 @@ public:
     virtual WebAudioDevice* createAudioDevice(size_t bufferSize, unsigned numberOfChannels, double sampleRate, WebAudioDevice::RenderCallback*) { return 0; }
     virtual WebAudioDevice* createAudioDevice(size_t bufferSize, unsigned numberOfInputChannels, unsigned numberOfChannels, double sampleRate, WebAudioDevice::RenderCallback*) { return 0; }
 
+    // MIDI --------------------------------------------------------------
+    virtual WebMIDIAccessor* createMIDIAccessor(WebMIDIAccessor::Client*) { return 0; }
 
     // Blob ----------------------------------------------------------------