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).