[Phpmyadmin-git] [phpmyadmin/phpmyadmin] f5fc4e: removed to fix bug 4141