diff options
-rw-r--r-- | psalm.xml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/psalm.xml b/psalm.xml index 53ffa8974bc..fd5d9bfcbe3 100644 --- a/psalm.xml +++ b/psalm.xml @@ -51,6 +51,9 @@ <errorLevel type="suppress"> <referencedVariable name="l" /> <referencedVariable name="_" /> + <!-- false positive: https://github.com/nextcloud/server/blob/cb057829f72c70e819f456edfadbb29d72dba832/lib/private/Console/Application.php#L92 --> + <file name="apps/*/appinfo/register_command.php" /> + <file name="core/register_command.php" /> </errorLevel> </UndefinedGlobalVariable> </issueHandlers> |