diff options
| author | Daniel Kesselberg <mail@danielkesselberg.de> | 2020-08-14 15:37:05 +0300 |
|---|---|---|
| committer | Morris Jobke <hey@morrisjobke.de> | 2020-08-18 09:58:20 +0300 |
| commit | fe3a628470d0c348ed65ee27c3f2e4d46b00c315 (patch) | |
| tree | 1d6c7014eeb2ab6fced695c2058c326ea6f6dc56 /psalm.xml | |
| parent | 568e1f6d3a823d91ddeef1c20c01d64ee8bd65fa (diff) | |
Supress UndefinedGlobalVariable for register_command.php
Signed-off-by: Daniel Kesselberg <mail@danielkesselberg.de>
Diffstat (limited to 'psalm.xml')
| -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> |