From 26c67dba776e1e6f8ac40eed70fe79995325863d Mon Sep 17 00:00:00 2001
From: Andrew Dolgov <noreply@fakecake.org>
Date: Sun, 31 Jul 2022 13:55:09 +0300
Subject: update phpstan to 1.8.2

---
 classes/rssutils.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'classes/rssutils.php')

diff --git a/classes/rssutils.php b/classes/rssutils.php
index 384830556..e039284f2 100755
--- a/classes/rssutils.php
+++ b/classes/rssutils.php
@@ -662,7 +662,7 @@ class RSSUtils {
 					print_r($item);
 				}
 
-				if (ini_get("max_execution_time") > 0 && time() - $tstart >= ini_get("max_execution_time") * 0.7) {
+				if (ini_get("max_execution_time") > 0 && time() - $tstart >= ((float)ini_get("max_execution_time") * 0.7)) {
 					Debug::log("looks like there's too many articles to process at once, breaking out.", Debug::LOG_VERBOSE);
 					$pdo->commit();
 					break;
-- 
cgit v1.2.3-54-g00ecf