diff options
| -rw-r--r-- | user_guide/changelog.html | 2 | ||||
| -rw-r--r-- | user_guide/libraries/sessions.html | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/user_guide/changelog.html b/user_guide/changelog.html index 92765c4e7..a322d357a 100644 --- a/user_guide/changelog.html +++ b/user_guide/changelog.html @@ -94,7 +94,7 @@ SVN Revision: </p> <h3>Bug fixes for 1.7.3</h3> <ul> - <li>Fixed assorted user guide typos or examples.</li> + <li>Fixed assorted user guide typos or examples (#10693).</li> <li>Increased randomness with <kbd>is_really_writable()</kbd> to avoid file collisions when hundreds or thousands of requests occur at once.</li> <li>Fixed or clarified assorted user guide typos or examples.</li> <li>Made <kbd>get_mime_by_extension()</kbd> case insensitive.</li> diff --git a/user_guide/libraries/sessions.html b/user_guide/libraries/sessions.html index 11313b51a..c93c7614c 100644 --- a/user_guide/libraries/sessions.html +++ b/user_guide/libraries/sessions.html @@ -123,7 +123,7 @@ and encrypting the data automatically.</p> <p>Note: Session cookies are only updated every five minutes by default to reduce processor load. If you repeatedly reload a page you'll notice that the "last activity" time only updates if five minutes or more has passed since the last time -the cookie was written. This time is configurable by changing the $config['time_to_update'] line in your system/config/config.php file.</p> +the cookie was written. This time is configurable by changing the $config['sess_time_to_update'] line in your system/config/config.php file.</p> <h2>Retrieving Session Data</h2> |