Fix php doc