(bug 40995) Refresh SessionId on login
authorcsteipp <csteipp@wikimedia.org>
Thu, 29 Nov 2012 22:02:18 +0000 (14:02 -0800)
committerGerrit Code Review <gerrit@wikimedia.org>
Thu, 29 Nov 2012 22:18:31 +0000 (22:18 +0000)
commitd834a4892af5ea57b3ee387dad79ad1a2205acad
tree4de12c8fb42bd3ee729b75be9efe98bebb235523
parent854551797ccabd3b22783812356057a8e36c7c47
(bug 40995) Refresh SessionId on login

SpecialUserlogin updated to refresh the user's session_id on each
successful login.

Change-Id: I1bd76f2c199b515f570e18669ca2138668bf847e
includes/GlobalFunctions.php
includes/specials/SpecialUserlogin.php