[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 85c975: Fix for issue #13439