From 4a16469559662936ee047cd30969e596840002d5 Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Mon, 22 Jan 2024 16:33:11 +0400
Subject: [PATCH] modifs.mineures sans commentaires

---
 php/src_base/cl.php | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/php/src_base/cl.php b/php/src_base/cl.php
index 0207dbf..dff62ee 100644
--- a/php/src_base/cl.php
+++ b/php/src_base/cl.php
@@ -58,8 +58,11 @@ class cl {
   }
 
   /**
-   * tester si $array est une liste, c'est à dire un tableau avec uniquement des
-   * clés numériques séquentielles commençant à zéro
+   * tester si $array est une liste, c'est à dire un tableau non null avec
+   * uniquement des clés numériques séquentielles commençant à zéro
+   *
+   * NB: is_list(null) === false
+   * et  is_list([])   === true
    */
   static final function is_list(?array $array): bool {
     if ($array === null) return false;