mudcube/MIDI.js — pull request #38 by rannoup (2013-07-13 18:48:35+00:00)
Title: let the choice of audio type

In case of the user can play ogg and mp3 but is using a smartphone it can be useful to use mp3 instead of ogg to minimize network traffic.