diff options
author | Andrew Shelyakov | 2017-08-17 04:09:56 +0300 |
---|---|---|
committer | Andrew Shelyakov | 2017-08-17 04:20:18 +0300 |
commit | fdad7a1d36efe3aea42512361b55c0091a158318 (patch) | |
tree | c3276f4780faa3ed3cf2011e20173385d5b8809f /php.ini.patch | |
parent | e27c9dbd9a2cde05ff2c518ef3f9368581ec3d30 (diff) | |
download | aur-fdad7a1d36efe3aea42512361b55c0091a158318.tar.gz |
New maintainer; Updated to version 7.1.8
Diffstat (limited to 'php.ini.patch')
-rw-r--r-- | php.ini.patch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/php.ini.patch b/php.ini.patch index 4618298c3e59..474f825921d4 100644 --- a/php.ini.patch +++ b/php.ini.patch @@ -1,6 +1,6 @@ --- php.ini-production.orig +++ php.ini-production -@@ -718,7 +718,7 @@ +@@ -733,7 +733,7 @@ ; Directory in which the loadable extensions (modules) reside. ; http://php.net/extension-dir @@ -9,7 +9,7 @@ ; On windows: ; extension_dir = "ext" -@@ -868,47 +868,44 @@ +@@ -883,47 +883,44 @@ ; If you only provide the name of the extension, PHP will look for it in its ; default extension directory. ; |