update php manual URL