[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 3f2137: Fix for bug 4027