[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 6439a1: bug #4872 Drop table doesn't remove the table name...