diff --git a/phpunit.xml.dist b/phpunit.xml.dist index 06aca8fe1d..1bf79ca26d 100644 --- a/phpunit.xml.dist +++ b/phpunit.xml.dist @@ -7,7 +7,6 @@ convertNoticesToExceptions="true" convertWarningsToExceptions="true" stopOnFailure="false" - syntaxCheck="false" bootstrap="tests/bootstrap.php" >