Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/phpmyadmin/phpmyadmin.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorWilliam Desportes <williamdes@wdes.fr>2021-08-31 01:30:39 +0300
committerWilliam Desportes <williamdes@wdes.fr>2021-08-31 01:30:39 +0300
commitbd78d5ff0611910d89ed842120b4685eeef71139 (patch)
treeb3b8e41c9da62fc6da7a230903cd2947971847cb
parentdf651fe5a590bbfcf4c14d5710fc8dff444eb510 (diff)
Update psalm baseline
Signed-off-by: William Desportes <williamdes@wdes.fr>
-rw-r--r--psalm-baseline.xml3
1 files changed, 3 insertions, 0 deletions
diff --git a/psalm-baseline.xml b/psalm-baseline.xml
index bade81f907..2867324be4 100644
--- a/psalm-baseline.xml
+++ b/psalm-baseline.xml
@@ -2370,6 +2370,9 @@
<PossiblyNullPropertyAssignmentValue occurrences="1">
<code>$dbi</code>
</PossiblyNullPropertyAssignmentValue>
+ <RedundantCast occurrences="1">
+ <code>(string) $table[1]</code>
+ </RedundantCast>
<RedundantCastGivenDocblockType occurrences="3">
<code>(string) $data</code>
<code>(string) $db</code>