[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 714917: Remove dead code