groff_char(phpman.html) - phpMan