From 668d201a9c6f57e716f59a8d827fda51ce22e743 Mon Sep 17 00:00:00 2001
From: Markus Podar <markus@fischer.name>
Date: Sun, 18 Feb 2024 12:37:52 +0100
Subject: [PATCH] phpunit: remove attributes with default values

---
 phpunit.xml.dist | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/phpunit.xml.dist b/phpunit.xml.dist
index 5e29066c..e7eb04f5 100644
--- a/phpunit.xml.dist
+++ b/phpunit.xml.dist
@@ -2,13 +2,7 @@
 <phpunit
         xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
         xsi:noNamespaceSchemaLocation="https://schema.phpunit.de/10.5/phpunit.xsd"
-        backupGlobals="false"
-        backupStaticProperties="false"
-        bootstrap="vendor/autoload.php"
         cacheDirectory=".phpunit.result.cache"
-        colors="true"
-        processIsolation="false"
-        stopOnFailure="false"
 >
   <testsuites>
     <testsuite name="Unit">