[rendertime] Fix empty minimal_time

diff --git a/rendertime/rendertime.php b/rendertime/rendertime.php
index 8b4478da1b753b0f8a458e09dcad7070a7a5f9a5..3d08a740553cd8055246ee20d29614e2febfdb47 100644 (file)
--- 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>';
                }
        }