pharext\Cli\Args::optDefaultArg PHP Method