array ( 0 => 'index.php', 1 => 'PHP Manual', ), 'head' => array ( 0 => 'UTF-8', 1 => 'fr', ), 'this' => array ( 0 => 'session.installation.php', 1 => 'Installation', 2 => 'Installation', ), 'up' => array ( 0 => 'session.setup.php', 1 => 'Installation/Configuration', ), 'prev' => array ( 0 => 'session.requirements.php', 1 => 'Pré-requis', ), 'next' => array ( 0 => 'session.configuration.php', 1 => 'Configuration à l\'exécution', ), 'alternatives' => array ( ), 'source' => array ( 'lang' => 'fr', 'path' => 'reference/session/configure.xml', ), 'history' => array ( ), ); $setup["toc"] = $TOC; $setup["toc_deprecated"] = $TOC_DEPRECATED; $setup["parents"] = $PARENTS; manual_setup($setup); contributors($setup); ?>

Installation

Cette extension est activée par défaut. Elle peut être désactivée en utilisant l'option de configuration : --disable-session

Pour utiliser l'allocation de mémoire partagée (mm) pour le stockage des sessions, configurez PHP --with-mm[=DIR].

La version Windows de PHP dispose du support automatique de cette extension. Vous n'avez pas à ajouter de bibliothèque supplémentaire pour disposer de ces fonctions.

Note:

Par défaut, toutes les données relatives à une session particulière seront stockées dans un fichier du répertoire spécifié par session.save_path dans les options du fichier php.ini. Un fichier pour chaque session sera créé. Cela est dû au fait qu'une session est ouverte (un fichier est créé) mais aucune donnée n'est écrite dans ce fichier. Il est à noter que ce comportement est un effet des limitations d'utilisation du système de fichiers et il est possible qu'un gestionnaire de session personnalisé (par exemple, un qui utilise une base de données) ne garde aucune trace des sessions où aucune donnée n'y a été enregistrée.