(phpstan) refactor: cast floor results to int for better type safety in UpdateStats

Author: Grotax

phpstan-baseline.neon

@@ -1,11 +1,5 @@
 parameters:
 	ignoreErrors:
-		-
-			message: '#^Offset float on list in isset\(\) does not exist\.$#'
-			identifier: isset.offset
-			count: 1
-			path: src/FeedIo/Reader/Result/UpdateStats.php
-
 		-
 			message: '#^PHPDoc tag @var with type FeedIo\\Reader\\FixerAbstract is not subtype of native type FeedIo\\Reader\\Fixer\\HttpLastModified\|FeedIo\\Reader\\Fixer\\PublicId\.$#'
 			identifier: varTag.nativeType

src/FeedIo/Reader/Result/UpdateStats.php

@@ -142,8 +142,8 @@ public function getAverageInterval(): int
 
         // some feeds could have very old historic
         // articles so eliminate them with statistic
-        $q1 = $this->intervals[floor($count * 0.25)];
-        $q3 = $this->intervals[floor($count * 0.75)];
+        $q1 = $this->intervals[(int) floor($count * 0.25)];
+        $q3 = $this->intervals[(int) floor($count * 0.75)];
         $iqr = $q3 - $q1;
 
         $lower_bound = $q1 - 1.5 * $iqr;
@@ -170,7 +170,7 @@ public function getMedianInterval(): int
             return 0;
         }
 
-        $num = floor($count / 2);
+        $num = (int) floor($count / 2);
 
         if ($count % 2 === 0) {
             return intval(floor(($this->intervals[$num - 1] + $this->intervals[$num]) / 2));