1 files changed, 2 insertions, 5 deletions
diff --git a/logout.php b/logout.php
index cfc9fd034..7757689dc 100644
--- a/logout.php
+++ b/logout.php
@@ -2,12 +2,9 @@
 	session_start();
 
 	require_once "config.php";
+	require_once "functions.php";
 
-	$_SESSION["uid"] = null;
-	$_SESSION["name"] = null;
-	$_SESSION["access_level"] = null;
-
-	session_destroy();
+	logout_user();
 
 	if (!USE_HTTP_AUTH) {
 		header("Location: login.php");