Integrate Slango's changes about how to render the php manual.
Integrate Slango's changes about how to render the php manual.


git-svn-id: 84b5c82ecc7932ed0fd81274a5b44f356df90ae1@275951 c90b9560-bf6c-de11-be94-00142212c4b1

philip/phd,philip/phd