Manual:SessionManager.php