Y cómo puede ser que en en.miui.com va por la versión 7.1.1.0 global y esta sea la 7.1.5.0?

Enviado desde mi Galaxy Tab 2 mediante Tapatalk