summaryrefslogtreecommitdiff
path: root/php.ini-development
diff options
context:
space:
mode:
authorJacob Dreesen <jacob@hdreesen.de>2020-03-15 14:11:40 +0100
committerChristoph M. Becker <cmbecker69@gmx.de>2020-03-15 15:00:05 +0100
commit68e2da63622938396df91d617f496ebad5df3e4d (patch)
treeb466217ddde5a87ab72d4ff296b281d78b1febe3 /php.ini-development
parent2b5fc8e325e3f385851ab7a7a77010bbccd2b16e (diff)
downloadphp-git-68e2da63622938396df91d617f496ebad5df3e4d.tar.gz
Fix typo in php.ini comment
Diffstat (limited to 'php.ini-development')
-rw-r--r--php.ini-development4
1 files changed, 2 insertions, 2 deletions
diff --git a/php.ini-development b/php.ini-development
index a2167e8395..c365201809 100644
--- a/php.ini-development
+++ b/php.ini-development
@@ -1449,8 +1449,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.