static public function stripScriptName($path)
	{
	    if (isset($_SERVER['SCRIPT_NAME']) && ($pos = strpos($path, $_SERVER['SCRIPT_NAME'])) === 0) {
	        $path = substr($path, strlen($_SERVER['SCRIPT_NAME']));
	    }
	    return $path;
	}
static public function stripScriptName($path)
	{
	    if (isset($_SERVER['SCRIPT_NAME']) && ($pos = strpos($path, $_SERVER['SCRIPT_NAME'])) === 0) {
	        $path = substr($path, strlen($_SERVER['SCRIPT_NAME']));
	    }
	    return $path;
	}
static public function stripScriptName ( $ path ) { if ( isset ( $ _SERVER [ 'SCRIPT_NAME' ] ) && ( $ pos = strpos ( $ path , $ _SERVER [ 'SCRIPT_NAME' ] ) ) === 0 ) { $ path = substr ( $ path , strlen ( $ _SERVER [ 'SCRIPT_NAME' ] ) ) ; } return $ path ; }
strip script name part
@param  string $path
@return string
strip script name part