Midi Web Editor Use this editor here. It should support the same format used by this player: Esp32MidiPlayer.