From d4deba9fdd562c6d68940c8924304f8dfdd54c90 Mon Sep 17 00:00:00 2001
From: mscherer <dereuromark@web.de>
Date: Mon, 24 Jul 2023 12:45:00 +0200
Subject: [PATCH] Fix up phpunit config

---
 phpunit.xml.dist | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/phpunit.xml.dist b/phpunit.xml.dist
index 799e355..4f57d62 100644
--- a/phpunit.xml.dist
+++ b/phpunit.xml.dist
@@ -19,9 +19,9 @@
 			</arguments>
 		</listener>
 	</listeners>
-	<filter>
-		<whitelist>
+	<coverage>
+		<include>
 			<directory suffix=".php">src/</directory>
-		</whitelist>
-	</filter>
+		</include>
+	</coverage>
 </phpunit>