Merge "Don't set the session name in CLI or when sessions are deactivated"
authorjenkins-bot <jenkins-bot@gerrit.wikimedia.org>
Wed, 13 Aug 2014 22:30:55 +0000 (22:30 +0000)
committerGerrit Code Review <gerrit@wikimedia.org>
Wed, 13 Aug 2014 22:30:55 +0000 (22:30 +0000)
commit3c64eb81bdf669a63628ca2fcf37be1241220e9a
treeedd99afd877081661799a9e7d2927dbf59270263
parent723a59730757cf31629027a567785145c5c131fa
parente71939297e5cc23a13ffdb6eefb7441d6d51b9c1
Merge "Don't set the session name in CLI or when sessions are deactivated"
includes/Setup.php