[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 3f8501: Fix type