From b56f7e8ad24be72ebeabfcd9ee32cf1ccdfd30e5 Mon Sep 17 00:00:00 2001
From: marc tobias <mtmail@gmx.net>
Date: Sat, 9 Feb 2019 00:34:04 +0100
Subject: [PATCH] remove phpunit config key deprecated since version 3.5

---
 test/php/phpunit.xml | 1 -
 1 file changed, 1 deletion(-)

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"
     >
-- 
2.39.5