diff options
-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 bb18ac131e..e81554e703 100644 --- a/ext/ffi/ffi.c +++ b/ext/ffi/ffi.c @@ -4953,6 +4953,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 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= diff --git a/php.ini-production b/php.ini-production index ca87051a4d..60e3231c94 100644 --- a/php.ini-production +++ b/php.ini-production @@ -1917,3 +1917,6 @@ ldap.max_links = -1 ; "false" - always disabled ; "true" - always enabled ;ffi.enable=preload + +; List of headers files to preload +;ffi.preload= |