From cea2b1307554c9ddfddcc60e95f72e4c122431a7 Mon Sep 17 00:00:00 2001
From: Michael <heluecht@pirati.ca>
Date: Fri, 20 Nov 2020 08:55:30 +0000
Subject: [PATCH] Parameter has to be float

---
 src/Util/Profiler.php | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/Util/Profiler.php b/src/Util/Profiler.php
index 7bfc3c693a..5cc93e6815 100644
--- a/src/Util/Profiler.php
+++ b/src/Util/Profiler.php
@@ -165,11 +165,11 @@ class Profiler implements ContainerInterface
 
 	/**
 	 * Returns the rendertime string
-	 * @param int $limit Minimal limit for displaying the execution duration
+	 * @param float $limit Minimal limit for displaying the execution duration
 	 *
 	 * @return string the rendertime
 	 */
-	public function getRendertimeString(int $limit = 0)
+	public function getRendertimeString(float $limit = 0)
 	{
 		$output = '';