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