I'd say 'MIDI music' became a catch-all for music that's represented as data that is in turn triggering samples, rather than being a pure audio file. Might be actual MIDI or might be tracker music etc.