From b34023d194c42d7ddbf884c6455e34777c83d04b Mon Sep 17 00:00:00 2001
From: Ralf Becker <RalfBecker@outdoor-training.de>
Date: Thu, 8 Dec 2016 16:01:55 +0100
Subject: [PATCH] suppress PHP Parse errors in PHP < 7.0 in dependency of
 phpunit: phpspec/prophecy

---
 doc/php_syntax_check.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/doc/php_syntax_check.sh b/doc/php_syntax_check.sh
index 8acd1bdfaf..5360a3e83f 100755
--- a/doc/php_syntax_check.sh
+++ b/doc/php_syntax_check.sh
@@ -23,6 +23,8 @@ find ${@-.} -name '*.php' -exec php -l {} \; 2>&1 | \
 	grep -v 'vendor/composer/autoload_static.php' | \
 	# exclude vendor/phpunit it shows many PHP Parse errors in PHP < 7.0
 	grep -v 'vendor/phpunit' | \
+	# suppress PHP Parse errors in PHP < 7.0 in dependency of phpunit: phpspec/prophecy
+	grep -v 'vendor/phpspec/prophecy' | \
 	# phpFreeChat does not work with PHP7
 	grep -v 'phpfreechat/phpfreechat/' | \
 	perl -pe 'END { exit $status } $status=1 if /^(PHP Fatal|(PHP )?Parse error)/;'  > /dev/null