php Console_Getopt