server/lib/private/session
2013-12-11 12:59:48 +01:00
..
internal.php check if a $_SESSION entry exists before we try to remove it 2013-12-11 12:59:48 +01:00
memory.php preserve 3rd party values in in the Session destructor 2013-12-09 12:38:27 +01:00
session.php fixing php 5.3 compatibility 2013-10-08 21:52:54 +02:00