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-development | |
| 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-development')
| -rw-r--r-- | php.ini-development | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/php.ini-development b/php.ini-development index 281dcdec6b..ad5cc8e9c4 100644 --- a/php.ini-development +++ b/php.ini-development @@ -893,6 +893,7 @@ default_socket_timeout = 60 ; ;extension=bz2 ;extension=curl +;extension=ffi ;extension=fileinfo ;extension=gd2 ;extension=gettext |