remove phpunit config key deprecated since version 3.5

diff --git a/test/php/phpunit.xml b/test/php/phpunit.xml
index 1fc95795c1d0b86b3704488e10956f493f0b1d26..bc07177ce8dfa2c84abf093390b4539964551b1d 100644 (file)
--- 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"
     >