diff options
| author | 2023-04-17 08:30:21 +0200 | |
|---|---|---|
| committer | 2023-04-17 08:30:21 +0200 | |
| commit | f3760f138dcbaf7a2190336a0378cf1b2190c9f5 (patch) | |
| tree | 6fac8fbf9efd7aa74a8e3970ab70ccf85287b2cd /lib/Minz/Request.php | |
| parent | 41fa4e746df8c2e2399ed753b4994ca85cb21358 (diff) | |
Complete PHPStan Level 6 (#5305)
* Complete PHPStan Level 6
Fix https://github.com/FreshRSS/FreshRSS/issues/4112
And initiate PHPStan Level 7
* PHPStan Level 6 for tests
* Use phpstan/phpstan-phpunit
* Update to PHPStan version 1.10
* Fix mixed bug
* Fix mixed return bug
* Fix paginator bug
* Fix FreshRSS_UserConfiguration
* A couple more Minz_Configuration bug fixes
* A few trivial PHPStan Level 7 fixes
* A few more simple PHPStan Level 7
* More files passing PHPStan Level 7
Add interface to replace removed class from https://github.com/FreshRSS/FreshRSS/pull/5251
* A few more PHPStan Level 7 preparations
* A few last details
Diffstat (limited to 'lib/Minz/Request.php')
| -rw-r--r-- | lib/Minz/Request.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/Minz/Request.php b/lib/Minz/Request.php index 7957610e2..ca9957eab 100644 --- a/lib/Minz/Request.php +++ b/lib/Minz/Request.php @@ -298,7 +298,7 @@ class Minz_Request { * localhost address. * * @param string $address the address to test, can be an IP or a URL. - * @return boolean true if server is accessible, false otherwise. + * @return bool true if server is accessible, false otherwise. * @todo improve test with a more valid technique (e.g. test with an external server?) */ public static function serverIsPublic(string $address): bool { @@ -360,7 +360,7 @@ class Minz_Request { $requests = Minz_Session::param('requests'); if ($requests) { //Delete abandoned notifications - $requests = array_filter($requests, function ($r) { return isset($r['time']) && $r['time'] > time() - 3600; }); + $requests = array_filter($requests, static function (array $r) { return isset($r['time']) && $r['time'] > time() - 3600; }); $requestId = self::requestId(); if (!empty($requests[$requestId]['notification'])) { |
