summaryrefslogtreecommitdiff
path: root/php.ini-production
diff options
context:
space:
mode:
authorRemi Collet <remi@php.net>2019-10-24 07:40:27 +0200
committerRemi Collet <remi@php.net>2019-10-24 07:40:27 +0200
commitff09d39328875a92d2071f4d31e09ba0f4c54639 (patch)
treec2fb9856fc6ef5e5fbdd82cdadee787d7c831f8b /php.ini-production
parentaacea14359e6f75a2ae698285392ba4af71a12f1 (diff)
parentfea8c5481bfae651167d90393ddae89e591b0d55 (diff)
downloadphp-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-production2
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=