set_progname(category32-phpmyadmin.html) - phpMan