Manual:$wgSessionName/de-formal

Details
Override to customize the. MediaWiki will try to set the session name only if is disabled.

If not specified, the session name will default to.