Hi,
I've just recieved my redmi5, bought from aliexpress/goldway.
It cames with a rom labelled "MIUI Global 9.2 | Stable 9.2.2.0 (NDAMIEK)"
I didn't put in any sim card yet (I'm waiting for a replacement nanosim from my operator),
just used it with wifi, set up a Google account installed some...