diff options
-rw-r--r-- | psalm.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/psalm.xml b/psalm.xml index dac8635b5be..009c59c7857 100644 --- a/psalm.xml +++ b/psalm.xml @@ -77,6 +77,7 @@ <file name="build/stubs/ftp.php"/> <file name="build/stubs/pcntl.php"/> <file name="build/stubs/zip.php"/> + <file name="3rdparty/sabre/uri/lib/functions.php" /> </stubs> <issueHandlers> <UndefinedClass> |