mirror of
https://github.com/nextcloud/server.git
synced 2026-06-07 07:43:18 -04:00
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>
This commit is contained in:
parent
f5866137ad
commit
a7947567a6
1 changed files with 3 additions and 0 deletions
|
|
@ -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>
|
||||
|
|
|
|||
Loading…
Reference in a new issue