diff options
author | William Desportes <williamdes@wdes.fr> | 2021-08-31 01:30:39 +0300 |
---|---|---|
committer | William Desportes <williamdes@wdes.fr> | 2021-08-31 01:30:39 +0300 |
commit | bd78d5ff0611910d89ed842120b4685eeef71139 (patch) | |
tree | b3b8e41c9da62fc6da7a230903cd2947971847cb | |
parent | df651fe5a590bbfcf4c14d5710fc8dff444eb510 (diff) |
Update psalm baseline
Signed-off-by: William Desportes <williamdes@wdes.fr>
-rw-r--r-- | psalm-baseline.xml | 3 |
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> |