Sorry, maybe I'm confused, but Redmi 4 Prime has China Dev ROM, actually it is on 8.4.19 right now, and in the 8.4.12 they announced this. Right now I have no time for flashing official dev just to try this feature, because I really like eu.xiaomi version of MIUI, but I repeat, maybe I'm wrong.