diff options
author | Nextcloud-PR-Bot <nextcloud-pr-bot@users.noreply.github.com> | 2021-06-02 08:11:38 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-02 08:11:38 +0300 |
commit | 4b011e35fa62f052707949bc0759ded0e188df9d (patch) | |
tree | adcfcfbfe1344136526f4a7fd5626d55797263ac /build | |
parent | 142d311a13dee15958192baa68bec6585bdac591 (diff) |
Update psalm baseline
Signed-off-by: GitHub <noreply@github.com>
Diffstat (limited to 'build')
-rw-r--r-- | build/psalm-baseline.xml | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/build/psalm-baseline.xml b/build/psalm-baseline.xml index dca38e1131d..fc6c553d0c0 100644 --- a/build/psalm-baseline.xml +++ b/build/psalm-baseline.xml @@ -3003,15 +3003,6 @@ <code>bool|mixed</code> </LessSpecificImplementedReturnType> </file> - <file src="lib/private/Collaboration/Collaborators/GroupPlugin.php"> - <UndefinedThisPropertyAssignment occurrences="1"> - <code>$this->shareeEnumerationInGroupOnly</code> - </UndefinedThisPropertyAssignment> - <UndefinedThisPropertyFetch occurrences="2"> - <code>$this->shareeEnumerationInGroupOnly</code> - <code>$this->shareeEnumerationInGroupOnly</code> - </UndefinedThisPropertyFetch> - </file> <file src="lib/private/Collaboration/Resources/Manager.php"> <RedundantCondition occurrences="1"> <code>$user instanceof IUser</code> |