I'll just use a lockscreen that doesn't turn the music off every time I unlock the phone, I do like the default miui player, but as it doesn't seem to support the generic playlist used by just about everything else, and has it's own db file, I'll stick to 3rd party music players.