1
0
Fork 0
mirror of https://github.com/YunoHost-Apps/freshrss_ynh.git synced 2024-09-03 18:36:33 +02:00
freshrss_ynh/sources/lib/Minz/Session.php

98 lines
2.4 KiB
PHP
Raw Normal View History

2014-07-23 15:52:50 +02:00
<?php
/**
* La classe Session gère la session utilisateur
*/
class Minz_Session {
/**
* Initialise la session, avec un nom
2014-09-21 12:12:35 +02:00
* Le nom de session est utilisé comme nom pour les cookies et les URLs(i.e. PHPSESSID).
2014-07-23 15:52:50 +02:00
* Il ne doit contenir que des caractères alphanumériques ; il doit être court et descriptif
*/
2014-09-21 12:12:35 +02:00
public static function init($name) {
$cookie = session_get_cookie_params();
self::keepCookie($cookie['lifetime']);
2014-07-23 15:52:50 +02:00
2014-09-21 12:12:35 +02:00
// démarre la session
session_name($name);
session_start();
2014-07-23 15:52:50 +02:00
}
/**
* Permet de récupérer une variable de session
* @param $p le paramètre à récupérer
* @return la valeur de la variable de session, false si n'existe pas
*/
2014-09-21 12:12:35 +02:00
public static function param($p, $default = false) {
return isset($_SESSION[$p]) ? $_SESSION[$p] : $default;
2014-07-23 15:52:50 +02:00
}
/**
* Permet de créer ou mettre à jour une variable de session
* @param $p le paramètre à créer ou modifier
* @param $v la valeur à attribuer, false pour supprimer
*/
2014-09-21 12:12:35 +02:00
public static function _param($p, $v = false) {
2014-07-23 15:52:50 +02:00
if ($v === false) {
2014-09-21 12:12:35 +02:00
unset($_SESSION[$p]);
2014-07-23 15:52:50 +02:00
} else {
$_SESSION[$p] = $v;
}
}
/**
* Permet d'effacer une session
* @param $force si à false, n'efface pas le paramètre de langue
*/
2014-09-21 12:12:35 +02:00
public static function unset_session($force = false) {
$language = self::param('language');
2014-07-23 15:52:50 +02:00
session_destroy();
2014-09-21 12:12:35 +02:00
$_SESSION = array();
2014-07-23 15:52:50 +02:00
if (!$force) {
2014-09-21 12:12:35 +02:00
self::_param('language', $language);
2015-02-08 18:55:48 +01:00
Minz_Translate::reset($language);
2014-07-23 15:52:50 +02:00
}
}
2014-09-21 12:12:35 +02:00
/**
* Spécifie la durée de vie des cookies
* @param $l la durée de vie
*/
public static function keepCookie($l) {
2015-02-08 18:55:48 +01:00
// Get the script_name (e.g. /p/i/index.php) and keep only the path.
2015-11-06 16:54:20 +01:00
$cookie_dir = empty($_SERVER['REQUEST_URI']) ? '/' : $_SERVER['REQUEST_URI'];
if (substr($cookie_dir, -1) !== '/') {
$cookie_dir = dirname($cookie_dir) . '/';
}
2014-09-21 12:12:35 +02:00
session_set_cookie_params($l, $cookie_dir, '', false, true);
}
/**
* Régénère un id de session.
* Utile pour appeler session_set_cookie_params après session_start()
*/
public static function regenerateID() {
session_regenerate_id(true);
}
public static function deleteLongTermCookie($name) {
setcookie($name, '', 1, '', '', false, true);
}
public static function setLongTermCookie($name, $value, $expire) {
setcookie($name, $value, $expire, '', '', false, true);
}
public static function getLongTermCookie($name) {
return isset($_COOKIE[$name]) ? $_COOKIE[$name] : null;
}
2014-07-23 15:52:50 +02:00
}