Missing options in Settings


gilcu3

Members
Feb 6, 2019
13
15
Redmi note 6 pro eu global rom 10.3.3
I don't recall since when it happent, but there are some options missing in the Settings, for example "Turn on MIUI optimization" in Developers Settings. Is it the same for someone else?
 

Igor Eisberg

Developer
Staff member
Oct 6, 2016
2,433
322
This setting is off-limits on our ROM, and you shouldn't even touch it to begin with.
 

gilcu3

Members
Feb 6, 2019
13
15
So, it could have gone missing because I touched it, or was it disabled by ROM developers?