From e72da4cac4191a4e76ab7f02e2b70447b9b11bc9 Mon Sep 17 00:00:00 2001
From: Thomas Gelf <thomas@gelf.net>
Date: Tue, 13 Jul 2021 11:05:25 +0200
Subject: [PATCH] phpunit: remove obsolete (and removed) parameter

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

diff --git a/phpunit.xml b/phpunit.xml
index 4cfc6b8f..99dde47b 100644
--- a/phpunit.xml
+++ b/phpunit.xml
@@ -7,7 +7,6 @@
          convertWarningsToExceptions="true"
          processIsolation="false"
          stopOnFailure="false"
-         syntaxCheck="false"
          bootstrap="test/bootstrap.php"
     >
     <testsuites>