From 7cddc11fa792fe2b88e969d4f45f6f3cf85725b3 Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Thu, 20 Feb 2025 21:35:52 +0400
Subject: [PATCH] modifs.mineures sans commentaires

---
 php/src/php/time/DateTime.php | 1 -
 1 file changed, 1 deletion(-)

diff --git a/php/src/php/time/DateTime.php b/php/src/php/time/DateTime.php
index 4c050d8..1fcd632 100644
--- a/php/src/php/time/DateTime.php
+++ b/php/src/php/time/DateTime.php
@@ -4,7 +4,6 @@ namespace nulib\php\time;
 use DateTimeInterface;
 use DateTimeZone;
 use InvalidArgumentException;
-use nulib\php\func;
 
 /**
  * Class DateTime: une date et une heure