use session_destroy() instead of session_cleanup.lib.php

libraries/auth/cookie.auth.lib.php

@@ -357,7 +357,7 @@ function PMA_auth_check()
     if (! empty($_REQUEST['old_usr'])) {
         // The user wants to be logged out 
         // -> delete his choices that were stored in session 
-        require_once './libraries/session_cleanup.lib.php';
+        session_destroy(); 
         // -> delete password cookie(s)
         if ($GLOBALS['cfg']['LoginCookieDeleteAll']) {
             foreach($GLOBALS['cfg']['Servers'] as $key => $val) {

libraries/auth/http.auth.lib.php

@@ -143,7 +143,7 @@ function PMA_auth_check()
         && (isset($PHP_AUTH_USER) && $old_usr == $PHP_AUTH_USER)) {
         $PHP_AUTH_USER = '';
         // -> delete user's choices that were stored in session 
-        require_once './libraries/session_cleanup.lib.php';
+        session_destroy(); 
     }
 
     // Returns whether we get authentication settings or not

libraries/session_cleanup.lib.php

@@ -1,10 +0,0 @@
-<?php
-/* vim: set expandtab sw=4 ts=4 sts=4: */
-/**
- * Cleanup, at logout time, of user choices stored in session
- *
- * @version $Id$
- */
-
-unset($_SESSION['navi_limit_offset']);
-?>