标签： 老外发现MIUI 12.5国际版不如中国版流畅：优化效果差不少