Merge pull request #1323 from nupplaphil/bug/rendertime

[rendertime] Fix empty minimal_time
This commit is contained in:
Hypolite Petovan 2022-11-28 13:55:32 -05:00 committed by GitHub
commit 666d559e72
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -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>';
}
}