From 1341d78da811c404aadbff2ac878f6fa390df9f8 Mon Sep 17 00:00:00 2001 From: George Steel Date: Wed, 6 Jul 2022 16:26:42 +0100 Subject: [PATCH] Baseline newly discovered psalm issues in src/ Signed-off-by: George Steel --- psalm-baseline.xml | 30 +++--------------------------- 1 file changed, 3 insertions(+), 27 deletions(-) diff --git a/psalm-baseline.xml b/psalm-baseline.xml index 82991fc0..60cd6f46 100644 --- a/psalm-baseline.xml +++ b/psalm-baseline.xml @@ -14,25 +14,10 @@ $previous->getCode() - - - $code - - - $code - - - - - $code - - - $code - - - + ! is_string($name) + ! is_string($stream) && ! is_resource($stream) is_string($version) @@ -44,9 +29,6 @@ $headerNames - - $stream - $header $header @@ -451,12 +433,11 @@ $headers[$header] $host - + $host $iisUrlRewritten $origPathInfo $unencodedUrl - $value array @@ -514,9 +495,6 @@ - - $cookieHeader - func_get_args() @@ -537,8 +515,6 @@ - $value - $value $value $version