Hanbuch:$wgSessionHandler

From mediawiki.org
This page is a translated version of the page Manual:$wgSessionHandler and the translation is 75% complete.
Cookies: $wgSessionHandler
Wird verwendet, um PHPs session.save_handler zu setzen.
Eingeführt in Version:1.16.0 (r49370)
Veraltet in Version:1.27.0 (Gerrit change 267737; git #2257fe42)
Entfernt in Version:1.33.0 (Gerrit change 489405; git #a38fe6cd)
Erlaubte Werte:(string) oder null
Standardwert:null (1.18-1.32)
'files' (1.16-1.17)

Details

Dies wird verwendet, um PHPs session.save_handler zu setzen. In der Praxis musst du das fast nie ändern. Other options might be 'user' or 'session_mysql'.

Setting to null skips setting this entirely (which might be useful if you're doing cross-application sessions, see bug 11381).