From c9087253cc7246bcc42b7b6895ec97d957f7217b Mon Sep 17 00:00:00 2001 From: Andy Postnikov Date: Sat, 28 Jul 2018 18:11:57 +0300 Subject: community/php7: fix include_path setting, use https url and source --- community/php7/sharedir.patch | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 community/php7/sharedir.patch (limited to 'community/php7/sharedir.patch') diff --git a/community/php7/sharedir.patch b/community/php7/sharedir.patch new file mode 100644 index 0000000000..10bdbc4e31 --- /dev/null +++ b/community/php7/sharedir.patch @@ -0,0 +1,11 @@ +--- a/php.ini-production 2018-07-28 18:05:51.737130931 +0300 ++++ b/php.ini-production 2018-07-28 18:06:45.177774666 +0300 +@@ -711,7 +711,7 @@ + ;;;;;;;;;;;;;;;;;;;;;;;;; + + ; UNIX: "/path1:/path2" +-;include_path = ".:/php/includes" ++include_path = ".:/usr/share/php7" + ; + ; Windows: "\path1;\path2" + ;include_path = ".;c:\php\includes" -- cgit v1.2.3