From abd8708a96e12cf30b97cee668cb1880d918abec Mon Sep 17 00:00:00 2001
From: Arthur Schiwon <blizzz@arthur-schiwon.de>
Date: Wed, 10 Jul 2024 13:48:03 +0200
Subject: ci(psalm): update baseline

prefer to keep this check as PublicEmitter should be dropped sooner or
later

Signed-off-by: Arthur Schiwon <blizzz@arthur-schiwon.de>
---
 build/psalm-baseline.xml | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'build/psalm-baseline.xml')

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>
-- 
cgit v1.2.3