[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 552153: Minor fix #13564