From 67f2ea5f345b2278264feb29ed488f20443c5d3a Mon Sep 17 00:00:00 2001
From: Marco Pivetta <ocramius@gmail.com>
Date: Tue, 23 Aug 2022 01:47:33 +0200
Subject: [PATCH] Adjust PHPUnit config to match its XSD

Signed-off-by: Marco Pivetta <ocramius@gmail.com>
---
 phpunit.xml.dist | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/phpunit.xml.dist b/phpunit.xml.dist
index 3cb8c8cd..7c577470 100644
--- a/phpunit.xml.dist
+++ b/phpunit.xml.dist
@@ -15,11 +15,11 @@
         </exclude>
     </groups>
 
-    <filter>
-        <whitelist addUncoveredFilesFromWhitelist="true">
+    <coverage>
+        <include>
             <directory suffix=".php">./src</directory>
-        </whitelist>
-    </filter>
+        </include>
+    </coverage>
 
     <php>
         <ini name="date.timezone" value="UTC"/>