Nå har vi lært om MIUI 12.5, den nye versjonen av Xiaomis tilpassede grensesnitt som ikke bare lover endringer ...