From a2da870d3abce1bd0ff02da249c3c09ffb4b8ffb Mon Sep 17 00:00:00 2001 From: plegall Date: Wed, 21 Sep 2022 16:54:49 +0200 Subject: [PATCH] fixes #1715 logger compatibility with PHP 8.1 --- include/Logger.class.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/include/Logger.class.php b/include/Logger.class.php index 1361a62ad..4c3785d2a 100644 --- a/include/Logger.class.php +++ b/include/Logger.class.php @@ -364,7 +364,7 @@ class Logger { $originalTime = microtime(true); $micro = sprintf('%06d', ($originalTime - floor($originalTime)) * 1000000); - $date = new DateTime(date('Y-m-d H:i:s.'.$micro, $originalTime)); + $date = new DateTime(date('Y-m-d H:i:s.'.$micro, intval($originalTime))); return $date->format($this->options['dateFormat']); }