diff --git a/phpunit.xml.dist b/phpunit.xml.dist
index f5871e2eeb..c4906e42fe 100644
--- a/phpunit.xml.dist
+++ b/phpunit.xml.dist
@@ -15,19 +15,18 @@
./tests
./tests/functional
- tests/lint_test.php
-
-
- tests/lint_test.php
+ ./tests/lint_test.php
./tests/functional
+
+ ./tests/lint_test.php
+
- functional
slow
diff --git a/phpunit.xml.functional b/phpunit.xml.functional
deleted file mode 100644
index 9f3033b074..0000000000
--- a/phpunit.xml.functional
+++ /dev/null
@@ -1,39 +0,0 @@
-
-
-
-
-
- ./tests
- ./tests/functional
- tests/lint_test.php
-
-
- tests/lint_test.php
-
-
- ./tests/functional
-
-
-
-
-
- functional
-
-
-
-
-
- ./tests
-
-
-