From 15cb2d835d050d0590df86cb75365fd4b63a752b Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@remirepo.net>
Date: Mon, 6 Jul 2020 16:44:04 +0200
Subject: display build system and provider in phpinfo (from 8.0)

---
 php-7.3.20-fixheader.patch | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 php-7.3.20-fixheader.patch

(limited to 'php-7.3.20-fixheader.patch')

diff --git a/php-7.3.20-fixheader.patch b/php-7.3.20-fixheader.patch
new file mode 100644
index 0000000..6bbdfbd
--- /dev/null
+++ b/php-7.3.20-fixheader.patch
@@ -0,0 +1,13 @@
+diff -up ./configure.ac.fixheader ./configure.ac
+--- ./configure.ac.fixheader	2020-07-06 16:04:56.069183751 +0200
++++ ./configure.ac	2020-07-06 16:05:52.044046238 +0200
+@@ -1350,7 +1350,8 @@ PHP_BUILD_DATE=`date -u +%Y-%m-%d`
+ fi
+ AC_DEFINE_UNQUOTED(PHP_BUILD_DATE,"$PHP_BUILD_DATE",[PHP build date])
+ 
+-PHP_UNAME=`uname -a | xargs`
++UNAME=`uname -a | xargs`
++PHP_UNAME=${PHP_UNAME:-$UNAME}
+ AC_DEFINE_UNQUOTED(PHP_UNAME,"$PHP_UNAME",[uname -a output])
+ PHP_OS=`uname | xargs`
+ AC_DEFINE_UNQUOTED(PHP_OS,"$PHP_OS",[uname output])
-- 
cgit