6543/CommunityID
1
0
Fork 0
Code Issues 3 Pull Requests Releases Wiki Activity

import v1.1.0_RC2 | 2009-09-20

Browse Source
This commit is contained in:
6543
2019-07-17 22:19:00 +02:00
parent 3b7ba80568
commit 38c146901c
2504 changed files with 101817 additions and 62316 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
libs/Zend/Console/Getopt.php
View File

@ -15,9 +15,9 @@
*
* @category Zend
* @package Zend_Console_Getopt
* @copyright Copyright (c) 2005-2008 Zend Technologies USA Inc. (http://www.zend.com)
* @copyright Copyright (c) 2005-2009 Zend Technologies USA Inc. (http://www.zend.com)
* @license http://framework.zend.com/license/new-bsd New BSD License
* @version $Id: $
* @version $Id: Getopt.php 16971 2009-07-22 18:05:45Z mikaelkael $
*/
/**
@ -80,7 +80,7 @@
*
* @category Zend
* @package Zend_Console_Getopt
* @copyright Copyright (c) 2005-2008 Zend Technologies USA Inc. (http://www.zend.com)
* @copyright Copyright (c) 2005-2009 Zend Technologies USA Inc. (http://www.zend.com)
* @license http://framework.zend.com/license/new-bsd New BSD License
* @version Release: @package_version@
* @since Class available since Release 0.6.0
@ -169,7 +169,7 @@ class Zend_Console_Getopt
self::CONFIG_RULEMODE => self::MODE_ZEND,
self::CONFIG_DASHDASH => true,
self::CONFIG_IGNORECASE => false,
self::CONFIG_PARSEALL => true
self::CONFIG_PARSEALL => true,
);
/**
@ -243,7 +243,7 @@ class Zend_Console_Getopt
{
if (!isset($_SERVER['argv'])) {
require_once 'Zend/Console/Getopt/Exception.php';
if(ini_get('register_argc_argv') == false) {
if (ini_get('register_argc_argv') == false) {
throw new Zend_Console_Getopt_Exception(
"argv is not available, because ini option 'register_argc_argv' is set Off"
);