[Phpmyadmin-git] [phpmyadmin/phpmyadmin] ed3252: fix bug #4672