php doc on args