diff options
| -rw-r--r-- | php.ini-development | 1 | ||||
| -rw-r--r-- | php.ini-production | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/php.ini-development b/php.ini-development index 346890a36f..7435e7668b 100644 --- a/php.ini-development +++ b/php.ini-development @@ -1805,6 +1805,7 @@ ldap.max_links = -1 ;opcache.save_comments=1 ; If enabled, a fast shutdown sequence is used for the accelerated code +; Depending on the used Memory Manager this may cause some incompatibilities. ;opcache.fast_shutdown=0 ; Allow file existence override (file_exists, etc.) performance feature. diff --git a/php.ini-production b/php.ini-production index cd80502c5c..75cd780832 100644 --- a/php.ini-production +++ b/php.ini-production @@ -1805,6 +1805,7 @@ ldap.max_links = -1 ;opcache.save_comments=1 ; If enabled, a fast shutdown sequence is used for the accelerated code +; Depending on the used Memory Manager this may cause some incompatibilities. ;opcache.fast_shutdown=0 ; Allow file existence override (file_exists, etc.) performance feature. |