[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 447d76: PHPDoc modification.