Update repo.miui.v4.extra.conf