From f847f63e240f9b94ffae9895b21f6da3804afd82 Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@remirepo.net>
Date: Thu, 2 Sep 2021 07:27:58 +0200
Subject: duplicate 8.0

---
 20-ffi.ini | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 20-ffi.ini

(limited to '20-ffi.ini')

diff --git a/20-ffi.ini b/20-ffi.ini
new file mode 100644
index 0000000..0bce40d
--- /dev/null
+++ b/20-ffi.ini
@@ -0,0 +1,13 @@
+; Enable ffi extension module
+extension=ffi
+
+; FFI API restriction. Possibe values:
+; "preload" - enabled in CLI scripts and preloaded files (default)
+; "false"   - always disabled
+; "true"    - always enabled
+;ffi.enable=preload
+
+; List of headers files to preload, wildcard patterns allowed.
+; /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