summaryrefslogtreecommitdiff
path: root/php.ini-development
diff options
context:
space:
mode:
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 66d2f0eefd..a9d5c9b70e 100644
--- a/php.ini-development
+++ b/php.ini-development
@@ -1422,8 +1422,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.