Manuel:$wgSessionHandler
 | Cette fonctionnalité a été supprimée entièrement dans la version 1.33.0. |
| Cookies: $wgSessionHandler | |
|---|---|
| Utilisé pour définir la session.save_handler de PHP. |
|
| Introduit dans la version : | 1.16.0 (r49370) |
| Obsolète dans la version : | 1.27.0 (Gerrit change 267737; git #2257fe42) |
| Retiré dans la version : | 1.33.0 (Gerrit change 489405; git #a38fe6cd) |
| Valeurs autorisées : | (chaîne) ou null |
| Valeur par défaut : | null (1.18-1.32)'files' (1.16-1.17) |
| Autres paramètres : Alphabétique | Par fonction | |
Détails
Ceci est utilisé pour configurer la session.save_handler de PHP. Dans la pratique, vous n’aurez presque jamais besoin de changer cela jamais. D’autres options peuvent être 'user' ou 'session_mysql'.
Paramétrage de null skips définissant cela entièrement (ce qui peut être utile si vous faites des sessions inter-applications, voir bug 11381).