diff options
author | Remi Collet <remi@remirepo.net> | 2019-05-22 16:30:43 +0200 |
---|---|---|
committer | Remi Collet <remi@remirepo.net> | 2019-05-22 16:30:43 +0200 |
commit | 7b8aac46006ce57fb0056ea4bd8b6e79ee55fe3e (patch) | |
tree | 56808826771589925d5ec18cd92dea7ee3e50f17 /20-ffi.ini | |
parent | 1980e23d65c295d7a9ff5026a7f01612b52e4458 (diff) |
new snapshot with configuration updated from upstream
Diffstat (limited to '20-ffi.ini')
-rw-r--r-- | 20-ffi.ini | 8 |
1 files changed, 8 insertions, 0 deletions
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 |