From 18689b68b9beba429739846a90533c0a1dad987d Mon Sep 17 00:00:00 2001 From: Remi Collet Date: Thu, 5 Sep 2019 11:12:58 +0200 Subject: update to 7.4.0RC1 --- 20-ffi.ini | 8 ++++++++ 1 file changed, 8 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..751cdcb --- /dev/null +++ b/20-ffi.ini @@ -0,0 +1,8 @@ +; 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 -- cgit