fix php doc