summaryrefslogtreecommitdiffstats
path: root/20-ffi.ini
blob: 0bce40d5d767b37a5288a2f4a563ededbe9ba3a8 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
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