diff options
author | cflip <36554078+cflip@users.noreply.github.com> | 2021-04-25 17:43:37 -0600 |
---|---|---|
committer | cflip <36554078+cflip@users.noreply.github.com> | 2021-04-25 17:43:37 -0600 |
commit | 2d5cf9448edb1eb6785c1532ccb031b0ba0d1ef0 (patch) | |
tree | 2bf099704c5665f66c0bd2a18b7c4599ec397ffa /includes/Session.php | |
parent | 08561be92bbfafe149b758634f3df4d00ee310de (diff) |
Remove old signout_inc.php file
Diffstat (limited to 'includes/Session.php')
-rw-r--r-- | includes/Session.php | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/includes/Session.php b/includes/Session.php index 967b11b..7951d70 100644 --- a/includes/Session.php +++ b/includes/Session.php @@ -26,6 +26,12 @@ class Session $_SESSION['user_name'] = $user->name; } + public function sign_out() + { + session_unset(); + session_destroy(); + } + public function is_signed_in(): bool { return isset($_SESSION['signed_in']); |