From 19d780325eff1eb6641a81a837d934d2eadb622d Mon Sep 17 00:00:00 2001 From: Graham Campbell Date: Wed, 24 Jun 2015 21:36:55 +0100 Subject: [PATCH] Removed old config --- phpunit.xml.dist | 1 - 1 file changed, 1 deletion(-) diff --git a/phpunit.xml.dist b/phpunit.xml.dist index 952f64fe..b4a8cd29 100644 --- a/phpunit.xml.dist +++ b/phpunit.xml.dist @@ -11,7 +11,6 @@ processIsolation="false" stopOnError="false" stopOnFailure="false" - syntaxCheck="true" verbose="true" >