From 01001a538a5789c91d7c218729563e15b9ff5e75 Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Fri, 4 Jun 2021 15:02:56 +0200 Subject: duplicate php 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