mirror of
https://github.com/php/php-src.git
synced 2025-08-18 15:08:55 +02:00
reverted the last change for now
This commit is contained in:
parent
a8f7a57e97
commit
09dba8cf28
1 changed files with 4 additions and 4 deletions
|
@ -86,9 +86,9 @@ class Console_Getopt {
|
|||
}
|
||||
|
||||
if ($arg{0} != '-' || (strlen($arg) > 1 && $arg{1} == '-' && !$long_options)) {
|
||||
//$non_opts[] = $arg;
|
||||
$non_opts = array_merge($non_opts, array_slice($args, $i));
|
||||
break;
|
||||
$non_opts[] = $arg;
|
||||
//$non_opts = array_merge($non_opts, array_slice($args, $i));
|
||||
//break;
|
||||
} elseif (strlen($arg) > 1 && $arg{1} == '-') {
|
||||
$error = Console_Getopt::_parseLongOption(substr($arg, 2), $long_options, $opts, $args);
|
||||
if (PEAR::isError($error))
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue