From 609badf6a2e2c2f9d2f110d842afbf1846387826 Mon Sep 17 00:00:00 2001
From: Julius Härtl <jus@bitgrid.net>
Date: Thu, 2 Mar 2023 23:23:57 +0100
Subject: chore(psalm): Make psalm aware of sabre/uri
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Signed-off-by: Julius Härtl <jus@bitgrid.net>
---
 psalm.xml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'psalm.xml')

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>
-- 
cgit v1.2.3