diff options
| author | Arthur Schiwon <blizzz@arthur-schiwon.de> | 2024-07-10 13:48:03 +0200 |
|---|---|---|
| committer | backportbot[bot] <backportbot[bot]@users.noreply.github.com> | 2024-07-11 07:29:09 +0000 |
| commit | b983818cc10d000058e892f5c12f6b1b94a8eec9 (patch) | |
| tree | 08311f2e5a07296e4a5314620dbde6ddb7c20b07 /build | |
| parent | 0ba9f046e73e26973d9c4e26aa58d5ee4334bf64 (diff) | |
| download | nextcloud-server-b983818cc10d000058e892f5c12f6b1b94a8eec9.tar.gz nextcloud-server-b983818cc10d000058e892f5c12f6b1b94a8eec9.zip | |
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>
Diffstat (limited to 'build')
| -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 514f7d94013..e9b9bc80aa6 100644 --- a/build/psalm-baseline.xml +++ b/build/psalm-baseline.xml @@ -2972,6 +2972,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> |