設定のとこの表示によると「MIUI by xiaomi.eu」が正しい名前っぽい（xiaomi.eu はあくまでコミュニティつかプロジェクトの名前）から、
略してMIUI.euと書く人がいても間違いでも無かろうさ。