diff options
| -rw-r--r-- | 20-ffi.ini | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -6,3 +6,6 @@ extension=ffi ; "false" - always disabled ; "true" - always enabled ;ffi.enable=preload + +; List of headers files to preload +;ffi.preload= |
![]() |
index : rpms/php/php74.git | |
| The master git repository for php74 RPM | Remi Collet |
| summaryrefslogtreecommitdiffstats |
| -rw-r--r-- | 20-ffi.ini | 3 |
@@ -6,3 +6,6 @@ extension=ffi ; "false" - always disabled ; "true" - always enabled ;ffi.enable=preload + +; List of headers files to preload +;ffi.preload= |