php/20-ffi.ini
Remi Collet dc5b5c095f update to 7.4.0RC5
set opcache.enable_cli in provided default configuration
add /usr/share/php/preload as default ffi.preload configuration
2019-10-29 10:36:07 +01:00

14 lines
475 B
INI

; 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