diff options
author | Jacob Dreesen <jacob@hdreesen.de> | 2020-03-15 14:11:40 +0100 |
---|---|---|
committer | Christoph M. Becker <cmbecker69@gmx.de> | 2020-03-15 15:00:05 +0100 |
commit | 68e2da63622938396df91d617f496ebad5df3e4d (patch) | |
tree | b466217ddde5a87ab72d4ff296b281d78b1febe3 /php.ini-production | |
parent | 2b5fc8e325e3f385851ab7a7a77010bbccd2b16e (diff) | |
download | php-git-68e2da63622938396df91d617f496ebad5df3e4d.tar.gz |
Fix typo in php.ini comment
Diffstat (limited to 'php.ini-production')
-rw-r--r-- | php.ini-production | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/php.ini-production b/php.ini-production index 3459193941..5a68647eca 100644 --- a/php.ini-production +++ b/php.ini-production @@ -1451,8 +1451,8 @@ session.gc_maxlifetime = 1440 ; (see session.save_path above), then garbage collection does *not* ; happen automatically. You will need to do your own garbage ; collection through a shell script, cron entry, or some other method. -; For example, the following script would is the equivalent of -; setting session.gc_maxlifetime to 1440 (1440 seconds = 24 minutes): +; For example, the following script is the equivalent of setting +; session.gc_maxlifetime to 1440 (1440 seconds = 24 minutes): ; find /path/to/sessions -cmin +24 -type f | xargs rm ; Check HTTP Referer to invalidate externally stored URLs containing ids. |