diff --git a/phpunit.xml.dist b/phpunit.xml.dist index d963e75d85..6ae4f5f547 100644 --- a/phpunit.xml.dist +++ b/phpunit.xml.dist @@ -10,7 +10,6 @@ processIsolation="false" stopOnError="false" stopOnFailure="false" - syntaxCheck="true" verbose="true" >