From 8ac73d90f286be393a58110d0f433aa5cd8a3677 Mon Sep 17 00:00:00 2001 From: Martins Sipenko Date: Wed, 7 Oct 2015 14:19:49 +0300 Subject: [PATCH] Removed unused option --- phpunit.xml | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/phpunit.xml b/phpunit.xml index 276262dbc..cc0841c1d 100644 --- a/phpunit.xml +++ b/phpunit.xml @@ -7,8 +7,7 @@ convertNoticesToExceptions="true" convertWarningsToExceptions="true" processIsolation="false" - stopOnFailure="false" - syntaxCheck="false"> + stopOnFailure="false"> ./tests/