From bc2f4f0184f2e85c56f3f2d67192276bbbd97028 Mon Sep 17 00:00:00 2001 From: Sebastian Bergmann Date: Tue, 9 Jan 2018 06:41:48 +0100 Subject: [PATCH] Update PHPUnit configuration to follow best practices --- phpunit.xml.dist | 74 ++++++++++++++++++++---------------------------- 1 file changed, 30 insertions(+), 44 deletions(-) diff --git a/phpunit.xml.dist b/phpunit.xml.dist index dea7da2fa..1acaf4dcc 100644 --- a/phpunit.xml.dist +++ b/phpunit.xml.dist @@ -1,50 +1,36 @@ - + + + + tests + - - - tests - - - - - - - ./src/ - - ./src/Psalm/Stubs/ - ./src/Psalm/CallMap.php - ./src/psalm.php - ./src/psalter.php - ./src/Psalm/Provider/Cache/NoParserCacheProvider.php - ./src/Psalm/Provider/ParserCacheProvider.php - ./src/Psalm/PropertyMap.php - ./src/Psalm/Issue/ - + src + + src/Psalm/Issue/ + src/Psalm/Stubs/ + src/psalm.php + src/psalter.php + src/Psalm/CallMap.php + src/Psalm/PropertyMap.php + src/Psalm/Provider/Cache/NoParserCacheProvider.php + src/Psalm/Provider/ParserCacheProvider.php + + + + + + +