diff options
author | Dmitry Stogov <dmitry@zend.com> | 2019-10-23 17:18:11 +0300 |
---|---|---|
committer | Remi Collet <remi@php.net> | 2019-10-24 07:40:07 +0200 |
commit | fea8c5481bfae651167d90393ddae89e591b0d55 (patch) | |
tree | 74081ee8f791c427e8c63f560e44fde48dc7a656 /php.ini-production | |
parent | af57b6330b3cd25f1a4d7dfcebb92181a6f7ff1b (diff) | |
download | php-git-fea8c5481bfae651167d90393ddae89e591b0d55.tar.gz |
Added suppot for glob() wildcard matching in ffi.preload directive
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 867de11c60..b7f2536fd9 100644 --- a/php.ini-production +++ b/php.ini-production @@ -1948,5 +1948,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= |