Update cached user ID after user is added to the database
authorGergő Tisza <tgr.huwiki@gmail.com>
Thu, 19 Nov 2015 00:42:39 +0000 (16:42 -0800)
committerGergő Tisza <gtisza@wikimedia.org>
Fri, 20 Nov 2015 18:38:09 +0000 (18:38 +0000)
commit780c368b5e4231daffd415ce8911c2c0fb56b70f
treefe091fc5e0c3103f60eb86cc60f6a51c259fe80e
parent4b72ec94d1db804aceb5fd25c5e808f5524f5d18
Update cached user ID after user is added to the database

Bug: T119021
Change-Id: I5e0599d1d045b0389a7825fddc2b346e4cfd001d
includes/User.php