From 2472ee720e98f6226ced9e2f74f2b0c8ed4caa6b Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@remirepo.net>
Date: Fri, 25 Oct 2019 10:01:38 +0200
Subject: add /usr/share/php/preload as default ffi.preload configuration

---
 20-ffi.ini | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to '20-ffi.ini')

diff --git a/20-ffi.ini b/20-ffi.ini
index a4e30cc..0bce40d 100644
--- a/20-ffi.ini
+++ b/20-ffi.ini
@@ -8,4 +8,6 @@ extension=ffi
 ;ffi.enable=preload
 
 ; List of headers files to preload, wildcard patterns allowed.
-;ffi.preload=
+; /usr/share/php/preload used by for RPM packages
+; /usr/local/share/php/preload may be used for local files
+ffi.preload=/usr/share/php/preload/*.h:/usr/local/share/php/preload/*.h
-- 
cgit