original_string: public static function getPathInfo()
      {
          if (isset($_SERVER['PATH_INFO']) &&
              (strpos($_SERVER['SERVER_SOFTWARE'], 'lighttpd') === false)) {
              return $_SERVER['PATH_INFO'];
          } elseif (isset($_SERVER['REQUEST_URI']) &&
                    isset($_SERVER['SCRIPT_NAME'])) {
              $search = Horde_String::common($_SERVER['SCRIPT_NAME'], $_SERVER['REQUEST_URI']);
              if (substr($search, -1) == '/') {
                  $search = substr($search, 0, -1);
              }
              $search = array($search);
              if (!empty($_SERVER['QUERY_STRING'])) {
                  // We can't use QUERY_STRING directly because URL rewriting
                  // might add more parameters to the query string than those
                  // from the request URI.
                  $url = parse_url($_SERVER['REQUEST_URI']);
                  if (!empty($url['query'])) {
                      $search[] = '?' . $url['query'];
                  }
              }
              $path = str_replace($search, '', $_SERVER['REQUEST_URI']);
              if ($path == '/') {
                  $path = '';
              }
              return $path;
          }
  
          return '';
      }
code: public static function getPathInfo()
      {
          if (isset($_SERVER['PATH_INFO']) &&
              (strpos($_SERVER['SERVER_SOFTWARE'], 'lighttpd') === false)) {
              return $_SERVER['PATH_INFO'];
          } elseif (isset($_SERVER['REQUEST_URI']) &&
                    isset($_SERVER['SCRIPT_NAME'])) {
              $search = Horde_String::common($_SERVER['SCRIPT_NAME'], $_SERVER['REQUEST_URI']);
              if (substr($search, -1) == '/') {
                  $search = substr($search, 0, -1);
              }
              $search = array($search);
              if (!empty($_SERVER['QUERY_STRING'])) {
                  // We can't use QUERY_STRING directly because URL rewriting
                  // might add more parameters to the query string than those
                  // from the request URI.
                  $url = parse_url($_SERVER['REQUEST_URI']);
                  if (!empty($url['query'])) {
                      $search[] = '?' . $url['query'];
                  }
              }
              $path = str_replace($search, '', $_SERVER['REQUEST_URI']);
              if ($path == '/') {
                  $path = '';
              }
              return $path;
          }
  
          return '';
      }
code_tokens: public static function getPathInfo ( ) { if ( isset ( $ _SERVER [ 'PATH_INFO' ] ) && ( strpos ( $ _SERVER [ 'SERVER_SOFTWARE' ] , 'lighttpd' ) === false ) ) { return $ _SERVER [ 'PATH_INFO' ] ; } elseif ( isset ( $ _SERVER [ 'REQUEST_URI' ] ) && isset ( $ _SERVER [ 'SCRIPT_NAME' ] ) ) { $ search = Horde_String :: common ( $ _SERVER [ 'SCRIPT_NAME' ] , $ _SERVER [ 'REQUEST_URI' ] ) ; if ( substr ( $ search , - 1 ) == '/' ) { $ search = substr ( $ search , 0 , - 1 ) ; } $ search = array ( $ search ) ; if ( ! empty ( $ _SERVER [ 'QUERY_STRING' ] ) ) { // We can't use QUERY_STRING directly because URL rewriting // might add more parameters to the query string than those // from the request URI. $ url = parse_url ( $ _SERVER [ 'REQUEST_URI' ] ) ; if ( ! empty ( $ url [ 'query' ] ) ) { $ search [ ] = '?' . $ url [ 'query' ] ; } } $ path = str_replace ( $ search , '' , $ _SERVER [ 'REQUEST_URI' ] ) ; if ( $ path == '/' ) { $ path = '' ; } return $ path ; } return '' ; }
docstring: Utility function to obtain PATH_INFO information.
  
  @return string  The PATH_INFO string.
docstring_tokens: Utility function to obtain PATH_INFO information .