diff options
| author | Christoph M. Becker <cmbecker69@gmx.de> | 2019-08-27 15:54:18 +0200 |
|---|---|---|
| committer | Christoph M. Becker <cmbecker69@gmx.de> | 2019-08-27 15:54:18 +0200 |
| commit | 29925cef47d5ca1249d5b44caa06c0462b0a108d (patch) | |
| tree | 244e7aed18ca7128363655bbae8bd86e10c2550f /php.ini-production | |
| parent | ad3c763e2c5291b97a6b0bd19e4c5314e5edf108 (diff) | |
| parent | f08095faa5a59ea89d6a554311f2c968c4c439f9 (diff) | |
| download | php-git-29925cef47d5ca1249d5b44caa06c0462b0a108d.tar.gz | |
Merge branch 'PHP-7.4'
* PHP-7.4:
add ffi to php.ini extension [ci skip]
Diffstat (limited to 'php.ini-production')
| -rw-r--r-- | php.ini-production | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/php.ini-production b/php.ini-production index ae41df6b67..2184643e23 100644 --- a/php.ini-production +++ b/php.ini-production @@ -895,6 +895,7 @@ default_socket_timeout = 60 ; ;extension=bz2 ;extension=curl +;extension=ffi ;extension=fileinfo ;extension=gd2 ;extension=gettext |