diff --git a/rendertime/rendertime.php b/rendertime/rendertime.php index 8b4478da1..3d08a7405 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 .= '
';
-			$o .= $profiler->getRendertimeString(DI::config()->get('rendertime', 'minimal_time', 0));
+			$o .= $profiler->getRendertimeString(floatval(DI::config()->get('rendertime', 'minimal_time', 0)));
 			$o .= '
'; } }