public static function input(string $prefix = null): string
	{
		if (static::$readline_support)
		{
			return readline($prefix);
		}

		echo $prefix;

		return fgets(STDIN);
	}
public static function input(string $prefix = null): string
	{
		if (static::$readline_support)
		{
			return readline($prefix);
		}

		echo $prefix;

		return fgets(STDIN);
	}
public static function input ( string $ prefix = null ) : string { if ( static :: $ readline_support ) { return readline ( $ prefix ) ; } echo $ prefix ; return fgets ( STDIN ) ; }
Get input from the shell, using readline or the standard STDIN

Named options must be in the following formats:
php index.php user -v --v -name=John --name=John

@param  string $prefix
@return string

@codeCoverageIgnore
Get input from the shell using readline or the standard STDIN