[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 7a117e: Fix some doc comments