Prevent fatal error if $wgCookieSetOnAutoblock is changed to false
authorKaldari <rkaldari@wikimedia.org>
Mon, 28 Nov 2016 19:44:36 +0000 (11:44 -0800)
committerKaldari <rkaldari@wikimedia.org>
Mon, 28 Nov 2016 19:44:36 +0000 (11:44 -0800)
commit9ba7296687b76f1304de83597dc87c41ba300ad4
tree9f46fe49894c8b6036fe2bb1a2b5d5acdd2fdf3a
parentf9e3c2d046babc7309077816b0fe9961880f4e96
Prevent fatal error if $wgCookieSetOnAutoblock is changed to false

... and user still has a block cookie set.

Bug: T151097
Change-Id: I5a2fdc53250f629579428efbed39f6fb1f1531f3
includes/user/User.php