官宣，REDMI 登陆 ChinaJoy！有点东西所以是不是7.31日，就有可能