From a7947567a6201f4a7b375f785739f570f1f01cd4 Mon Sep 17 00:00:00 2001
From: Arthur Schiwon <blizzz@arthur-schiwon.de>
Date: Wed, 10 Jul 2024 13:48:03 +0200
Subject: [PATCH] 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(+)

diff --git a/build/psalm-baseline.xml b/build/psalm-baseline.xml
index cef6d8cde6e..c5af569258f 100644
--- a/build/psalm-baseline.xml
+++ b/build/psalm-baseline.xml
@@ -3433,6 +3433,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>