How can they import a Xiaomi phone from China, when Xiaomi doesn't sell the Mi4 outside the Chinese borders?
I think that they bought the phone from a webshop including an unofficial international ROM.
I don't even think that the original rom is rooted. You need to perform a few steps to root it...