key_defined(category32-phpmyadmin.html) - phpMan