From e8011de8214e09966b55dc4d2f8b6992c42d5e09 Mon Sep 17 00:00:00 2001
From: Dominique FOURNIER <dominique.fournier@grenoble.cnrs.fr>
Date: Mon, 28 Nov 2022 13:43:10 +0100
Subject: [PATCH] Console : remove the @list

---
 src/Console.php | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/Console.php b/src/Console.php
index 3561d62..6127296 100644
--- a/src/Console.php
+++ b/src/Console.php
@@ -754,7 +754,9 @@ class Console
         }
         array_shift($historyArr);
         foreach ($historyArr as $line) {
-            @list($time, $command) = @explode(" ", $line, 2);
+            $tmp = @explode(" ", $line, 2);
+            $time = (isset($tmp{0})) ? $tmp{0} : null;
+            $command = (isset($tmp{1})) ? $tmp{1} : null;
             if ($time === null || $command === null || ! ctype_digit($time)) {
                 continue;
             }