git-repo-config(phpman.html) - phpMan