From cca8b01e364d7dd606c25a76438d99a08c848b7c Mon Sep 17 00:00:00 2001 From: Jitendra Adhikari Date: Fri, 13 Dec 2019 18:44:12 +0700 Subject: [PATCH] chore(phpunit): remove obsolete prop --- phpunit.xml.dist | 1 - 1 file changed, 1 deletion(-) diff --git a/phpunit.xml.dist b/phpunit.xml.dist index 6630d6c..ad7fb10 100644 --- a/phpunit.xml.dist +++ b/phpunit.xml.dist @@ -8,7 +8,6 @@ convertWarningsToExceptions="true" processIsolation="false" stopOnFailure="false" - syntaxCheck="false" bootstrap="tests/bootstrap.php" >