Hola buenas!!!
Utilizo mucho la camara del MIUI para grabar tanto en 4K@30fps como en 1080p@120fps.
¿Que tal la camara de video del pixel experience comparandolo con estas dos ultimas opciones?
Edito: Claro que tambien tal vez sea posible instalar la camara de MIUI en el pixel experience y puede que funcione igual que en MIUI ¿alguien lo ha probado?