php doc fix