Znalazłem rozwiązanie, może komuś się przyda:
„Jeśli nie znajdziesz wpisu w Opcjach programisty, oto co możesz zrobić: Iść do "Ustawienia / Dodatkowe ustawienia / Opcje programisty", przewiń w dół i kliknij kilkakrotnie element „Przywróć wartości domyślne".”
Po kilkukrotnym kliknięciu pojawia się opcja "Wyłącz optymalizację MIUI".