[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 0709cb: Corrected small error in PR#1720