Page MenuHomePhabricator

Allow configuring session name
Closed, ResolvedPublic

Description

Author: justincwatt

Description:
In order to integrate MediaWiki seamlessly with another PHP-based web
applications it would be nice to be able to customize MediaWiki's session
name---so that session information is easily accessible between MediaWiki and
the application it's embedded in.

Currently MediaWiki's session name is based on the database name (and table
prefix if it exists) in Setup.php.

I propose adding a new configuration setting, $wgSessionName, that can be set in
LocalSettings.php to override the default name described above.


Version: 1.7.x
Severity: enhancement

Details

Reference
bz6504

Event Timeline

bzimport raised the priority of this task from to Medium.Nov 21 2014, 9:22 PM
bzimport set Reference to bz6504.
bzimport added a subscriber: Unknown Object (MLST).

justincwatt wrote:

adds ability to specify custom session name with wgSessionName

patches Setup.php and DefaultSettings.php

Attached:

robchur wrote:

Option added in SVN trunk, r15312.