[Phpmyadmin-git] [phpmyadmin/phpmyadmin] c55400: Port fix from a483935cf8aac81a2d87390af36f387100f3...