On my mi5 with xiaomi.eu miui 11 rom, the music player pauses/closes itself frequently. By comparison, my Redmi 6a which has 1gb less ram on chinese version of the same rom never closes the music even after opening many games, the music always stays playing.
