[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 0d435e: Fix lint error and missed merge