小米MIUI公众号更名为小米澎湃OS！MIUI将成历史