mirror of
https://github.com/nextcloud/server.git
synced 2026-04-21 22:27:31 -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
6a783d9b08
commit
abd8708a96
1 changed files with 3 additions and 0 deletions
|
|
@ -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>
|
||||
|
|
|
|||
Loading…
Reference in a new issue