diff options
| author | Remi Collet <remi@php.net> | 2019-10-24 07:40:27 +0200 |
|---|---|---|
| committer | Remi Collet <remi@php.net> | 2019-10-24 07:40:27 +0200 |
| commit | ff09d39328875a92d2071f4d31e09ba0f4c54639 (patch) | |
| tree | c2fb9856fc6ef5e5fbdd82cdadee787d7c831f8b /php.ini-production | |
| parent | aacea14359e6f75a2ae698285392ba4af71a12f1 (diff) | |
| parent | fea8c5481bfae651167d90393ddae89e591b0d55 (diff) | |
| download | php-git-ff09d39328875a92d2071f4d31e09ba0f4c54639.tar.gz | |
Merge branch 'PHP-7.4'
* PHP-7.4:
Added suppot for glob() wildcard matching in ffi.preload directive
Reverting push to wrong repo
Update alloc patch
Diffstat (limited to 'php.ini-production')
| -rw-r--r-- | php.ini-production | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/php.ini-production b/php.ini-production index 60e3231c94..19a409cc7a 100644 --- a/php.ini-production +++ b/php.ini-production @@ -1918,5 +1918,5 @@ ldap.max_links = -1 ; "true" - always enabled ;ffi.enable=preload -; List of headers files to preload +; List of headers files to preload, wilcards allowed. ;ffi.preload= |