From 48d2c4aabf6e815adedfc0d4618e274b56159d95 Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Sun, 31 Dec 2023 19:34:12 +0400
Subject: [PATCH] modifs.mineures sans commentaires

---
 php/src_base/UserException.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/php/src_base/UserException.php b/php/src_base/UserException.php
index b7c2063..473f0b8 100644
--- a/php/src_base/UserException.php
+++ b/php/src_base/UserException.php
@@ -1,14 +1,14 @@
 <?php
 namespace nulib;
 
-use Exception;
+use RuntimeException;
 use Throwable;
 
 /**
  * Class UserException: une exception qui peut en plus contenir un message
  * utilisateur
  */
-class UserException extends Exception {
+class UserException extends RuntimeException {
   /** @param Throwable|ExceptionShadow $e */
   static function get_user_message($e): ?string {
     if ($e instanceof self) return $e->getUserMessage();