From 48941f9f90d93e9a9c5079407f86bfd08ca72a2f Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Fri, 27 Jun 2025 18:30:15 +0400
Subject: [PATCH] modifs.mineures sans commentaires

---
 php/src/str.php | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/php/src/str.php b/php/src/str.php
index 2dc71ba..6e09c51 100644
--- a/php/src/str.php
+++ b/php/src/str.php
@@ -17,6 +17,11 @@ class str {
     return $s;
   }
 
+  /** s'assure que $s est une chaine s'il n'est pas null */
+  static final function ensure(&$s): void {
+    if ($s !== null) $s = self::with($s);
+  }
+
   /**
    * Retourner $s converti en chaine non nulle, ou "" si $s est fausse selon les
    * règles de PHP