diff options
Diffstat (limited to '20-ffi.ini')
-rw-r--r-- | 20-ffi.ini | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -8,4 +8,6 @@ extension=ffi ;ffi.enable=preload ; List of headers files to preload, wildcard patterns allowed. -;ffi.preload= +; /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 |