From 6d4de9361d939cdbb56d83841c4f67e89e33cfd3 Mon Sep 17 00:00:00 2001
From: "John Paul E. Balandan, CPA" <paulbalandan@gmail.com>
Date: Mon, 6 Apr 2026 20:05:30 +0800
Subject: [PATCH] chore: fix phpdoc for `Console::$options`

---
 system/CLI/Console.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/system/CLI/Console.php b/system/CLI/Console.php
index bd2950b7ae53..469a67943d11 100644
--- a/system/CLI/Console.php
+++ b/system/CLI/Console.php
@@ -25,7 +25,7 @@ class Console
     private const DEFAULT_COMMAND = 'list';
 
     /**
-     * @var array<string, string|null>
+     * @var array<string, list<string|null>|string|null>
      */
     private array $options = [];