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 273e646f7100b60b79f513e52ea0dfe7afb7fc45..42c8df3dae53b1937254ed00741cebcd7818dead 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"
@@ -142,6 +143,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 ----------------------------------------------------------------