[rendertime] Fix empty minimal_time

2022-11-28 19:51:56 +01:00 · 2022-11-28 19:51:56 +01:00 · 3b7d4ce600
parent 25bcbabb58
commit 3b7d4ce600
1 changed files with 1 additions and 1 deletions
--- 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>';
 		}
 	}