The xiaomi.eu ROM is based on the official China ROM, not on the Global... so it's updated a few days after a new China ROM is released, whcih means Xiaomi.eu is usually a version ahead of the official Global.
For instance, now Xiaomi.eu stable for Redmi 4x is version 9.1.2, while the official...