[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 344b7d: Fix bug #4717