[phpMyAdmin Git] [phpmyadmin/phpmyadmin] b1eee5: Actually fix #13274