use $GLOBALS['HTTP_SERVER_VARS'] instead

diff --git a/pear/Console/Getopt.php b/pear/Console/Getopt.php
index c7b802073eab63c8f899cec13274b163d75bc849..1a38534acea52141feccce70e2239a856b86f635 100644 (file)
--- a/pear/Console/Getopt.php
+++ b/pear/Console/Getopt.php
@@ -210,10 +210,10 @@ class Console_Getopt {
         global $argv;
         if (!is_array($argv)) {
             if (!@is_array($_SERVER['argv'])) {
-                if (!@is_array($HTTP_SERVER_VARS['argv'])) {
+                if (!@is_array($GLOBALS['HTTP_SERVER_VARS']['argv'])) {
                     return PEAR::raiseError("Console_Getopt: Could not read cmd args (register_argc_argv=Off?)");
                 }
-                return $HTTP_SERVER_VARS['argv'];
+                return $GLOBALS['HTTP_SERVER_VARS']['argv'];
             }
             return $_SERVER['argv'];
         }