diff options
| author | Iliya Ivanov | 2019-04-08 18:39:02 +0300 |
|---|---|---|
| committer | Iliya Ivanov | 2019-04-08 18:39:02 +0300 |
| commit | 78b3f84ac93dd42821d7e033ad16b03e14d95584 (patch) | |
| tree | a93ef605316d0a3744ef1d97b3e5c014c3907d13 /php.ini.patch | |
| parent | 222df2bee7f241b970690d3bd9984b3ee53656f6 (diff) | |
| download | aur-78b3f84ac93dd42821d7e033ad16b03e14d95584.tar.gz | |
Update to PHP 7.3.4 & allow multicore compilation
Diffstat (limited to 'php.ini.patch')
| -rw-r--r-- | php.ini.patch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/php.ini.patch b/php.ini.patch index edb0d85c5570..395cee840792 100644 --- a/php.ini.patch +++ b/php.ini.patch @@ -1,6 +1,6 @@ --- php.ini-production.orig +++ php.ini-production -@@ -902,48 +902,44 @@ +@@ -903,48 +903,44 @@ ; deprecated in a future PHP major version. So, when it is possible, please ; move to the new ('extension=<ext>) syntax. ; |