[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 5681db: fix bug #4516