Where’s the ‘Turn on MIUI optimisation’ option on the Redmi Note 10 Pro?

The ‘Turn on MIUI optimization’ option is buried in the Settings > Additional settings > Developer options menu.

The Developer options menu is hidden by default. To make it visible, you will need to go to Settings > About phone, and tap on ‘MIUI version’ 7 times.

Once it’s enabled, you can find the ‘Turn on MIUI optimization’ option at the bottom of the Developer options menu.

If you still can’t find the ‘Turn on MIUI optimization’ option, try tapping the ‘Reset to default values’ option several times.

The ‘Turn on MIUI optimization’ option should reappear after that.