Efter att ha satt stopp för utvecklargrenen av MIUI 11 följde många nyheter om dess efterträdare MIUI 12.