[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 7b12b1: Avoid PHP, HTML mix. Improve doc comments