From f2e15a3dce87630af13951f7396ddc2acc76e869 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Julius=20H=C3=A4rtl?= <jus@bitgrid.net>
Date: Mon, 5 Jun 2023 22:27:03 +0200
Subject: [PATCH] ci: Fix psalm config
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 deletion(-)

diff --git a/psalm.xml b/psalm.xml
index 178ff30fd..480bce23d 100644
--- a/psalm.xml
+++ b/psalm.xml
@@ -21,7 +21,6 @@
 		<ignoreFiles>
 			<directory name="vendor/phpunit/php-code-coverage" />
 			<directory name="vendor/vimeo" />
-			<directory name="vendor/friendsofphp" />
 		</ignoreFiles>
 	</extraFiles>
 	<issueHandlers>