php doc updated