From 7763befff9345ebd5cfcd9b35561effba1e0fb8a Mon Sep 17 00:00:00 2001
From: TBK <tbk@jjtc.eu>
Date: Sat, 23 Jun 2018 20:03:08 +0200
Subject: community/php7: upgrade to 7.2.7

---
 community/php7/fix-tests-devserver.patch | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'community/php7/fix-tests-devserver.patch')

diff --git a/community/php7/fix-tests-devserver.patch b/community/php7/fix-tests-devserver.patch
index 80a72f0f17..67d23fa222 100644
--- a/community/php7/fix-tests-devserver.patch
+++ b/community/php7/fix-tests-devserver.patch
@@ -11,7 +11,7 @@ happens here...
 
 --- a/run-tests.php
 +++ b/run-tests.php
-@@ -2005,6 +2005,9 @@
+@@ -2009,6 +2009,9 @@
  	// Does the output match what is expected?
  	$output = preg_replace("/\r\n/", "\n", trim($out));
  
-- 
cgit v1.2.3