ajout str::split

php/src/str.php

@@ -328,6 +328,22 @@ class str {
     else return preg_split('/\s+/', $s);
   }
 
+  /**
+   * découper la chaine:
+   * - avec preg_split si $sep est une expression régulière /re/
+   * - avec explode sinon
+   */
+  static final function split(string $sep, ?string $s): ?array {
+    if ($s === null) return null;
+    if ($sep === "") {
+      return [$s];
+    } elseif (substr($sep, 0, 1) === "/") {
+      return preg_split($sep, $s);
+    } else {
+      return explode($sep, $s);
+    }
+  }
+
   /**
    * joindre les éléments de $parts comme avec implode(), mais en ignorant les
    * valeurs fausses (cela n'inclue pas la chaine "0")