diff options
Diffstat (limited to 'phpunit.xml.dist')
| -rw-r--r-- | phpunit.xml.dist | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/phpunit.xml.dist b/phpunit.xml.dist index d96b96d..36faf50 100644 --- a/phpunit.xml.dist +++ b/phpunit.xml.dist @@ -9,8 +9,7 @@ convertNoticesToExceptions="true" convertWarningsToExceptions="true" processIsolation="false" - stopOnFailure="false" - syntaxCheck="false"> + stopOnFailure="false"> <logging> <log type="coverage-clover" target="coverage.xml" /> </logging> |