diff options
| author | CoprDistGit <infra@openeuler.org> | 2024-02-02 12:56:19 +0000 |
|---|---|---|
| committer | CoprDistGit <infra@openeuler.org> | 2024-02-02 12:56:19 +0000 |
| commit | 94f5e784ceb507fb62bdd627b3451fb0a7690ff6 (patch) | |
| tree | 28de34f9a692731d7cc22d2d435c77fcee1c41f9 /20-ffi.ini | |
| parent | 0fd92ab5ed82aa6d567e6ebcc700d9ab1cd37357 (diff) | |
automatic import of php
Diffstat (limited to '20-ffi.ini')
| -rw-r--r-- | 20-ffi.ini | 13 |
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 |