The following is the specific method of setting random playback in the built-in music player of Xiaomi Mi 3:

1. Turn on the phone and enter the built-in music player.

2. Click any local music.

3. Then enter the playback interface. In the middle position is the option to switch the playback mode. Click to change.