diff options
| author | Remi Collet <remi@php.net> | 2019-10-23 07:49:29 +0200 |
|---|---|---|
| committer | Remi Collet <remi@php.net> | 2019-10-23 07:49:29 +0200 |
| commit | 3d9bbd1b5367ec562eb4bba9a1d976af81e709db (patch) | |
| tree | a4890905a85f7438798fdd479c93b0c77ea20c00 /php.ini-development | |
| parent | d04297a8991d35215683c0aa89824653d3095c7b (diff) | |
| parent | dcd772325d0f7702a525f03c7d5dd04bf96d8e18 (diff) | |
| download | php-git-3d9bbd1b5367ec562eb4bba9a1d976af81e709db.tar.gz | |
Merge branch 'PHP-7.4'
* PHP-7.4:
add new ffi.preload option in php.ini and display ini entries in MINFO
Diffstat (limited to 'php.ini-development')
| -rw-r--r-- | php.ini-development | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/php.ini-development b/php.ini-development index b4b30d5660..186d67be6b 100644 --- a/php.ini-development +++ b/php.ini-development @@ -1915,3 +1915,6 @@ ldap.max_links = -1 ; "false" - always disabled ; "true" - always enabled ;ffi.enable=preload + +; List of headers files to preload +;ffi.preload= |