From: Julius Härtl <jus@bitgrid.net>
Date: Thu, 2 Mar 2023 22:23:57 +0000 (+0100)
Subject: chore(psalm): Make psalm aware of sabre/uri
X-Git-Tag: v27.0.0beta1~355^2~2
X-Git-Url: https://source.dussan.org/?a=commitdiff_plain;h=cb30c81010752e3ece1cb9bf44caddea23019094;p=nextcloud-server.git

chore(psalm): Make psalm aware of sabre/uri

Signed-off-by: Julius Härtl <jus@bitgrid.net>
---

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>