I don't know how these work, but although there is no Global rom, Clover is Google Certified too. It is listed here. https://support.google.com/googleplay/answer/1727131?hl=en
It allows apps to work the way developers want them to work. That was even said by Xiaomi themself.
Although it is still not working correctly, icons are wrong etc.
Google has released patch https://android.googlesource.com/platform/external/wpa_supplicant_8/+/master
Will be mandatory for November security patch, but OEMs can use it before.
Is there a working *no-support-for-this-app-on-this-forum* Mod for Redmi 4 Prime running latest xiaomi.eu rom?
Anybody knows? https://www.xda-developers.com/google-camera-updated-zero-shutter-lag-xiaomi/