diff options
author | Remi Collet <remi@php.net> | 2019-10-23 07:49:13 +0200 |
---|---|---|
committer | Remi Collet <remi@php.net> | 2019-10-23 07:49:13 +0200 |
commit | dcd772325d0f7702a525f03c7d5dd04bf96d8e18 (patch) | |
tree | 4fcda2da77f330b0e16d97a1d37905c717ddcceb | |
parent | 598bf7f5d5f9c76fd003590083c98736eb7702ab (diff) | |
download | php-git-dcd772325d0f7702a525f03c7d5dd04bf96d8e18.tar.gz |
add new ffi.preload option in php.ini and display ini entries in MINFO
-rw-r--r-- | ext/ffi/ffi.c | 2 | ||||
-rw-r--r-- | php.ini-development | 3 | ||||
-rw-r--r-- | php.ini-production | 3 |
3 files changed, 8 insertions, 0 deletions
diff --git a/ext/ffi/ffi.c b/ext/ffi/ffi.c index 17e8a8409d..39bf2f82bf 100644 --- a/ext/ffi/ffi.c +++ b/ext/ffi/ffi.c @@ -5077,6 +5077,8 @@ ZEND_MINFO_FUNCTION(ffi) php_info_print_table_start(); php_info_print_table_header(2, "FFI support", "enabled"); php_info_print_table_end(); + + DISPLAY_INI_ENTRIES(); } /* }}} */ diff --git a/php.ini-development b/php.ini-development index 3aefcd071d..3f0c90cfca 100644 --- a/php.ini-development +++ b/php.ini-development @@ -1945,3 +1945,6 @@ ldap.max_links = -1 ; "false" - always disabled ; "true" - always enabled ;ffi.enable=preload + +; List of headers files to preload +;ffi.preload= diff --git a/php.ini-production b/php.ini-production index 8dc9a32e00..867de11c60 100644 --- a/php.ini-production +++ b/php.ini-production @@ -1947,3 +1947,6 @@ ldap.max_links = -1 ; "false" - always disabled ; "true" - always enabled ;ffi.enable=preload + +; List of headers files to preload +;ffi.preload= |