Hello there! I am just wondering if the API for the music player of MIUI has been released by the developers? If not, are they planning to? I am asking this because I am currently using GOTO lock screen and to be able to control the music playback from the lock screen, the developer needs the API. Let me know please. Thanks!