diff options
-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> |