From: marc tobias <mtmail@gmx.net>
Date: Fri, 8 Feb 2019 23:34:04 +0000 (+0100)
Subject: remove phpunit config key deprecated since version 3.5
X-Git-Tag: v3.3.0~35^2
X-Git-Url: https://git.openstreetmap.org./nominatim.git/commitdiff_plain/b56f7e8ad24be72ebeabfcd9ee32cf1ccdfd30e5?ds=inline

remove phpunit config key deprecated since version 3.5
---

diff --git a/test/php/phpunit.xml b/test/php/phpunit.xml
index 1fc95795..bc07177c 100644
--- a/test/php/phpunit.xml
+++ b/test/php/phpunit.xml
@@ -7,7 +7,6 @@
     convertWarningsToExceptions="true"
     processIsolation="false"
     stopOnFailure="false"
-    syntaxCheck="true"
     bootstrap="./bootstrap.php"
     beStrictAboutTestsThatDoNotTestAnything="true"
     >