diff options
-rw-r--r-- | php.ini-development | 2 | ||||
-rw-r--r-- | php.ini-production | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/php.ini-development b/php.ini-development index f67f407c0c..d03a3084a3 100644 --- a/php.ini-development +++ b/php.ini-development @@ -1916,5 +1916,5 @@ ldap.max_links = -1 ; "true" - always enabled ;ffi.enable=preload -; List of headers files to preload, wilcards allowed. +; List of headers files to preload, wildcard patterns allowed. ;ffi.preload= diff --git a/php.ini-production b/php.ini-production index 19a409cc7a..2064a2622b 100644 --- a/php.ini-production +++ b/php.ini-production @@ -1918,5 +1918,5 @@ ldap.max_links = -1 ; "true" - always enabled ;ffi.enable=preload -; List of headers files to preload, wilcards allowed. +; List of headers files to preload, wildcard patterns allowed. ;ffi.preload= |