The MIUI user extension is used by millions of Xiaomi smartphone owners. This is probably one of the most sophisticated and massive you can ever find among Android devices. We will now show you one of the many useful features of this superstructure that…