diff options
Diffstat (limited to 'build/psalm-baseline.xml')
| -rw-r--r-- | build/psalm-baseline.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/build/psalm-baseline.xml b/build/psalm-baseline.xml index e74c7714a88..ecb3f68c230 100644 --- a/build/psalm-baseline.xml +++ b/build/psalm-baseline.xml @@ -2881,6 +2881,9 @@ <code><![CDATA[$request->server]]></code> <code><![CDATA[$request->server]]></code> </NoInterfaceProperties> + <RedundantCondition> + <code><![CDATA[$this->manager instanceof PublicEmitter]]></code> + </RedundantCondition> </file> <file src="lib/private/User/User.php"> <UndefinedInterfaceMethod> |