diff options
author | Zeev Suraski <zeev@php.net> | 2000-03-03 01:58:15 +0000 |
---|---|---|
committer | Zeev Suraski <zeev@php.net> | 2000-03-03 01:58:15 +0000 |
commit | 70bd8c71b59057db0fa7eb0a788b36a63ef9111c (patch) | |
tree | 29f50813877c8f26e1437f00b6c4579da0f2bfbf | |
parent | 68c10efe1b2a15a43879c825fa3779f8a2c59582 (diff) | |
download | php-git-70bd8c71b59057db0fa7eb0a788b36a63ef9111c.tar.gz |
Fix spelling
-rw-r--r-- | php.ini-dist | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/php.ini-dist b/php.ini-dist index d59d2f1f5a..bc4cae0395 100644 --- a/php.ini-dist +++ b/php.ini-dist @@ -367,7 +367,7 @@ session.cookie_path = / ; the path the cookie is valid for session.cookie_domain = ; the domain the cookie is valid for session.serialize_handler = php ; handler used to serialize data ; php is the standard serializer of PHP -session.gc_probability = 1 ; procentual probability that the +session.gc_probability = 1 ; percentual probability that the ; 'garbage collection' process is started ; on every session initialization session.gc_maxlifetime = 1440 ; after this number of seconds, stored |