From 3a83e55b4f4508a4f5fd249e5b4868967f4a5f3c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jo=C3=A3o=20Roberto=20P=2E=20Borges?= Date: Tue, 1 Oct 2019 17:59:27 -0300 Subject: [PATCH] Removed legacy phpunit flag --- phpunit.xml.dist | 1 - 1 file changed, 1 deletion(-) diff --git a/phpunit.xml.dist b/phpunit.xml.dist index 3750d47..bdc3f0d 100644 --- a/phpunit.xml.dist +++ b/phpunit.xml.dist @@ -8,7 +8,6 @@ convertWarningsToExceptions="true" processIsolation="false" stopOnFailure="false" - syntaxCheck="false" >