https://greedytech.com/android/how-to-enable-developer-options-on-redmi-6-pro/