Add extension to phpunit.xml.dist

benholmen · Sep 23, 2023 · 92896ff · 92896ff
1 parent 2edafda
commit 92896ff
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/phpunit.xml.dist b/phpunit.xml.dist
@@ -20,4 +20,7 @@
             <directory suffix=".php">./src</directory>
         </include>
     </source>
+    <extensions>
+        <bootstrap class="BenHolmen\Defrag\Extension"/>
+    </extensions>
 </phpunit>