https://www.gadgetdetail.com/miui-10-and-redmi-how-to-change-default-application/