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