]> source.dussan.org Git - nextcloud-server.git/commitdiff
chore(psalm): Make psalm aware of sabre/uri
authorJulius Härtl <jus@bitgrid.net>
Thu, 2 Mar 2023 22:23:57 +0000 (23:23 +0100)
committerJulius Härtl <jus@bitgrid.net>
Wed, 8 Mar 2023 13:00:04 +0000 (14:00 +0100)
Signed-off-by: Julius Härtl <jus@bitgrid.net>
psalm.xml

index dac8635b5be4aba5148725d41dbf5504856dea55..009c59c785747f9538dce4bddc56d62528b8ed5a 100644 (file)
--- 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>