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 f44c541a7a..5bd2740160 100644 --- a/php.ini-development +++ b/php.ini-development @@ -1946,5 +1946,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 b7f2536fd9..beea6b2650 100644 --- a/php.ini-production +++ b/php.ini-production @@ -1948,5 +1948,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= |
