[rendertime] Fix empty minimal_time #1323

Merged
nupplaphil merged 1 commit from bug/rendertime into develop 2022-11-28 19:55:32 +01:00

View file

@ -89,7 +89,7 @@ function rendertime_page_end(App $a, string &$o)
if ($profiler->isRendertime()) { if ($profiler->isRendertime()) {
$o .= '<pre>'; $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>'; $o .= '</pre>';
} }
} }