system/CLI/CLI.php
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