From dcd772325d0f7702a525f03c7d5dd04bf96d8e18 Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@php.net>
Date: Wed, 23 Oct 2019 07:49:13 +0200
Subject: add new ffi.preload  option in php.ini and display ini entries in
 MINFO

---
 php.ini-development | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'php.ini-development')

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=
-- 
cgit v1.2.1