.xml.dist as an XML file extension

2025-10-29 17:50:22 +00:00 · 2015-01-02 22:29:44 +01:00
parent 71132d48ff
commit 8e6609c192
2 changed files with 15 additions and 2 deletions
--- a/samples/XML/phpunit.xml.dist
+++ b/samples/XML/phpunit.xml.dist
@@ -0,0 +1,14 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<phpunit bootstrap="./tests/bootstrap.php"
+         colors="true">
+    <testsuites>
+        <testsuite>
+            <directory>tests</directory>
+        </testsuite>
+    </testsuites>
+    <filter>
+        <whitelist>
+            <directory suffix=".php">src</directory>
+        </whitelist>
+    </filter>
+</phpunit>