[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 587f51: add mistakenly deleted file