diff options
| author | Dries Buytaert <dries@buytaert.net> | 2009-12-30 08:16:55 +0000 |
|---|---|---|
| committer | Dries Buytaert <dries@buytaert.net> | 2009-12-30 08:16:55 +0000 |
| commit | 949ccddb91397c263a79e8dc144c172baa41452f (patch) | |
| tree | 1d63c72055cc55c9fd7d3875506f2ad5144d0c77 /includes/session.inc | |
| parent | 682b9dc3bb3a7d159570154f35476261f49c2e24 (diff) | |
| download | brdo-949ccddb91397c263a79e8dc144c172baa41452f.tar.gz brdo-949ccddb91397c263a79e8dc144c172baa41452f.tar.bz2 | |
- Patch #666024 by boombatower, mcrittenden: code and documentation clean-ups.
Diffstat (limited to 'includes/session.inc')
| -rw-r--r-- | includes/session.inc | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/includes/session.inc b/includes/session.inc index beab9601b..2aeb8eee5 100644 --- a/includes/session.inc +++ b/includes/session.inc @@ -314,7 +314,7 @@ function drupal_session_regenerate() { * * Cleanup a specific session. * - * @param string $sid + * @param $sid * Session ID. */ function _drupal_session_destroy($sid) { @@ -356,7 +356,7 @@ function _drupal_session_delete_cookie($name, $force_insecure = FALSE) { /** * End a specific user's session(s). * - * @param string $uid + * @param $uid * User ID. */ function drupal_session_destroy_uid($uid) { @@ -370,7 +370,7 @@ function drupal_session_destroy_uid($uid) { * * Cleanup stalled sessions. * - * @param int $lifetime + * @param $lifetime * The value of session.gc_maxlifetime, passed by PHP. * Sessions not updated for more than $lifetime seconds will be removed. */ |