Updating php doc