From 0d19c8fc8305f8762cf08b740b5f744946650e22 Mon Sep 17 00:00:00 2001
From: Ralf Becker <RalfBecker@outdoor-training.de>
Date: Sun, 10 Jul 2016 11:49:47 +0200
Subject: [PATCH] suppress PHP Deprecated in vendor, as they need to be solved
 by the vendor

---
 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 4d7f2f97e1..6d26944296 100755
--- a/doc/php_syntax_check.sh
+++ b/doc/php_syntax_check.sh
@@ -12,6 +12,8 @@ cd ..
 find ${@-.} -name '*.php' -exec php -l {} \; 2>&1 | \
 	# only show errors and PHP Deprecated, no success messages
 	egrep '^(PHP|Parse error)' | \
+	# suppress PHP Deprecated in vendor, as they need to be solved by the vendor
+	egrep -v '^PHP Deprecated.*/vendor/' | \
 	# output everything to stderr
 	tee /dev/fd/2 | \
 	# exclude several known problems, to be able to find new ones