Manual:$wgSessionHandler/fr

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