[UPDATE] minor php doc updates