From 60781c0255d81777130211af46c79d31c8649091 Mon Sep 17 00:00:00 2001
From: Pascal Birchler <pascalb@google.com>
Date: Thu, 30 Jan 2025 09:22:02 +0100
Subject: [PATCH] Allow collecting PHPUnit coverage

---
 .gitignore       | 1 +
 phpunit.xml.dist | 6 ++++++
 2 files changed, 7 insertions(+)

diff --git a/.gitignore b/.gitignore
index dcd18b149..9069d567c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,3 +12,4 @@ phpunit.xml
 phpcs.xml
 .phpcs.xml
 .phpunit.result.cache
+build/logs
diff --git a/phpunit.xml.dist b/phpunit.xml.dist
index 388417244..6e20198df 100644
--- a/phpunit.xml.dist
+++ b/phpunit.xml.dist
@@ -12,4 +12,10 @@
 			<directory prefix="Test" suffix=".php">tests/tests</directory>
 		</testsuite>
 	</testsuites>
+
+	<coverage processUncoveredFiles="false">
+		<include>
+			<directory suffix=".php">src</directory>
+		</include>
+	</coverage>
 </phpunit>