From fb09697d6026d5b42fa998ef6493fe559e07a04a Mon Sep 17 00:00:00 2001
From: Pascal Birchler <pascalb@google.com>
Date: Fri, 24 Jan 2025 23:35:58 +0100
Subject: [PATCH] change config file

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

diff --git a/phpunit.xml.dist b/phpunit.xml.dist
index 885c94d..b54c4fd 100644
--- a/phpunit.xml.dist
+++ b/phpunit.xml.dist
@@ -22,9 +22,9 @@
 		</whitelist>
 	</filter>
 
-	<source>
+	<coverage processUncoveredFiles="false">
 		<include>
 			<directory suffix=".php">src</directory>
 		</include>
-	</source>
+	</coverage>
 </phpunit>