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= |