WebMIDIAPI.js formatting changed automatically
Upgraded to latest WebMIDIAPI