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