git:(git.sv.gnu.org) - phpMan