[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 07388d: Tries to fix #11431