diff options
| author | 2025-08-07 22:19:45 +0200 | |
|---|---|---|
| committer | 2025-08-07 22:19:45 +0200 | |
| commit | 62f32ccadff77594f5b8e3ad24c4c2541ff35885 (patch) | |
| tree | 29689e66fd16fcbeb385cda554890d45d66e58c2 /app/Controllers/feedController.php | |
| parent | 149136fbe252cca4cb8dcdb463df135094bc0f87 (diff) | |
PHPStan: finalise strictArrayFilter (#7794)
As well as reportPossiblyNonexistentConstantArrayOffset.
And disable PHPStan-next from GitHub Action, since the work is completed for now.
Diffstat (limited to 'app/Controllers/feedController.php')
| -rwxr-xr-x | app/Controllers/feedController.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/app/Controllers/feedController.php b/app/Controllers/feedController.php index 977143882..97d68883c 100755 --- a/app/Controllers/feedController.php +++ b/app/Controllers/feedController.php @@ -221,7 +221,7 @@ class FreshRSS_feed_Controller extends FreshRSS_ActionController { } } - $headers = array_filter(array_map('trim', $headers)); + $headers = array_filter($headers, fn(string $header): bool => trim($header) !== ''); if (!empty($headers)) { $opts[CURLOPT_HTTPHEADER] = array_merge($headers, $opts[CURLOPT_HTTPHEADER] ?? []); $opts[CURLOPT_HTTPHEADER] = array_unique($opts[CURLOPT_HTTPHEADER]); |
