Allow $wgCookiePrefix to be set by the user. Default is false which keeps current...
authorChad Horohoe <demon@users.mediawiki.org>
Mon, 21 Jul 2008 21:51:51 +0000 (21:51 +0000)
committerChad Horohoe <demon@users.mediawiki.org>
Mon, 21 Jul 2008 21:51:51 +0000 (21:51 +0000)
commit0775a89d733f6976625ff8b41217440c1301449a
tree76624296815b04aceded757d36851bd217c1484b
parent050e1c73808c7e1a7c4d95ba5737b08020c34430
Allow $wgCookiePrefix to be set by the user. Default is false which keeps current behavior in Setup. Fixes bug 14843.
RELEASE-NOTES
includes/DefaultSettings.php
includes/Setup.php