[webkit-dev] Adding Web MIDI API support to WebCore

[Takashi Toyoshima]

Hi webkit-dev,

I want to let you know that I plan to add Web MIDI API support to WebKit.
This support will be behind the ENABLE_WEB_MIDI feature define.

See the master bug for Web MIDI API:
https://bugs.webkit.org/show_bug.cgi?id=107250

I'll enable this feature in Chromium port once the implementation
becomes ready for that.

Thanks,