Will the Redmi 5 Plus get global MIUI 10.3 or it'll get MIUI 11?

My friend has a Redmi 5A and he has MIUI 10.3 but he thinks it's buggy and want to switch back to 10.2. How can he do it and where can he get his 10.2 ROM?