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