Update repo.miui.v4.extra.conf
Merge pull request #6 from mario77/patch-2

Update repo.miui.v4.extra.conf