|
 |
e68ca63 |
; Enable ffi extension module
|
|
|
e68ca63 |
extension=ffi
|
|
|
e68ca63 |
|
|
|
e68ca63 |
; FFI API restriction. Possibe values:
|
|
|
e68ca63 |
; "preload" - enabled in CLI scripts and preloaded files (default)
|
|
|
e68ca63 |
; "false" - always disabled
|
|
|
e68ca63 |
; "true" - always enabled
|
|
|
e68ca63 |
;ffi.enable=preload
|
|
|
dc5b5c0 |
|
|
|
dc5b5c0 |
; List of headers files to preload, wildcard patterns allowed.
|
|
|
dc5b5c0 |
; /usr/share/php/preload used by for RPM packages
|
|
|
dc5b5c0 |
; /usr/local/share/php/preload may be used for local files
|
|
|
dc5b5c0 |
ffi.preload=/usr/share/php/preload/*.h:/usr/local/share/php/preload/*.h
|