[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 0f772a: check if PHPMYADMIN is set