summaryrefslogtreecommitdiffstats
path: root/20-ffi.ini
diff options
context:
space:
mode:
authorRemi Collet <remi@remirepo.net>2021-06-04 15:02:56 +0200
committerRemi Collet <remi@remirepo.net>2021-06-04 15:02:56 +0200
commit01001a538a5789c91d7c218729563e15b9ff5e75 (patch)
treefd4a90a9f0b8bd7ec7de8e5037dd4bcab9da6b49 /20-ffi.ini
duplicate php 8.0
Diffstat (limited to '20-ffi.ini')
-rw-r--r--20-ffi.ini13
1 files changed, 13 insertions, 0 deletions
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