I was trying to edit some videos recorded with my mi5s and I found out that the videos reach neither 24 nor 30 fps, just 19, which seems pretty choppy.
I'm at MIUI GLOBAL STABLE 8.0.10.0.0, could someone check if is a software problem? if it record at 30fps on Xiaomi.eu ROM? I play PokemonGO so...