From 2782af7e22b2c25b79cca15587233b6eadd854ab Mon Sep 17 00:00:00 2001 From: "Dylan K. Taylor" Date: Thu, 12 Aug 2021 19:41:16 +0100 Subject: [PATCH] Terminal: use typed properties --- src/utils/Terminal.php | 66 ++++++++++++++---------------------------- 1 file changed, 22 insertions(+), 44 deletions(-) diff --git a/src/utils/Terminal.php b/src/utils/Terminal.php index d85b1154f..eb99f1fb3 100644 --- a/src/utils/Terminal.php +++ b/src/utils/Terminal.php @@ -33,52 +33,30 @@ use function stream_isatty; use const PHP_EOL; abstract class Terminal{ - /** @var string */ - public static $FORMAT_BOLD = ""; - /** @var string */ - public static $FORMAT_OBFUSCATED = ""; - /** @var string */ - public static $FORMAT_ITALIC = ""; - /** @var string */ - public static $FORMAT_UNDERLINE = ""; - /** @var string */ - public static $FORMAT_STRIKETHROUGH = ""; + public static string $FORMAT_BOLD = ""; + public static string $FORMAT_OBFUSCATED = ""; + public static string $FORMAT_ITALIC = ""; + public static string $FORMAT_UNDERLINE = ""; + public static string $FORMAT_STRIKETHROUGH = ""; - /** @var string */ - public static $FORMAT_RESET = ""; + public static string $FORMAT_RESET = ""; - /** @var string */ - public static $COLOR_BLACK = ""; - /** @var string */ - public static $COLOR_DARK_BLUE = ""; - /** @var string */ - public static $COLOR_DARK_GREEN = ""; - /** @var string */ - public static $COLOR_DARK_AQUA = ""; - /** @var string */ - public static $COLOR_DARK_RED = ""; - /** @var string */ - public static $COLOR_PURPLE = ""; - /** @var string */ - public static $COLOR_GOLD = ""; - /** @var string */ - public static $COLOR_GRAY = ""; - /** @var string */ - public static $COLOR_DARK_GRAY = ""; - /** @var string */ - public static $COLOR_BLUE = ""; - /** @var string */ - public static $COLOR_GREEN = ""; - /** @var string */ - public static $COLOR_AQUA = ""; - /** @var string */ - public static $COLOR_RED = ""; - /** @var string */ - public static $COLOR_LIGHT_PURPLE = ""; - /** @var string */ - public static $COLOR_YELLOW = ""; - /** @var string */ - public static $COLOR_WHITE = ""; + public static string $COLOR_BLACK = ""; + public static string $COLOR_DARK_BLUE = ""; + public static string $COLOR_DARK_GREEN = ""; + public static string $COLOR_DARK_AQUA = ""; + public static string $COLOR_DARK_RED = ""; + public static string $COLOR_PURPLE = ""; + public static string $COLOR_GOLD = ""; + public static string $COLOR_GRAY = ""; + public static string $COLOR_DARK_GRAY = ""; + public static string $COLOR_BLUE = ""; + public static string $COLOR_GREEN = ""; + public static string $COLOR_AQUA = ""; + public static string $COLOR_RED = ""; + public static string $COLOR_LIGHT_PURPLE = ""; + public static string $COLOR_YELLOW = ""; + public static string $COLOR_WHITE = ""; /** @var bool|null */ private static $formattingCodes = null;