From 3b7d4ce600cade41990986ea76313dfce7787c8c Mon Sep 17 00:00:00 2001
From: Philipp <admin@philipp.info>
Date: Mon, 28 Nov 2022 19:51:56 +0100
Subject: [PATCH] [rendertime] Fix empty minimal_time

---
 rendertime/rendertime.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/rendertime/rendertime.php b/rendertime/rendertime.php
index 8b4478da..3d08a740 100644
--- a/rendertime/rendertime.php
+++ b/rendertime/rendertime.php
@@ -89,7 +89,7 @@ function rendertime_page_end(App $a, string &$o)
 
 		if ($profiler->isRendertime()) {
 			$o .= '<pre>';
-			$o .= $profiler->getRendertimeString(DI::config()->get('rendertime', 'minimal_time', 0));
+			$o .= $profiler->getRendertimeString(floatval(DI::config()->get('rendertime', 'minimal_time', 0)));
 			$o .= '</pre>';
 		}
 	}