This hotfix fixes /usr/share/mediawiki116/includes/User.php on machines with mediawiki so that the LockDown extension works. Upstream bug coming soon.
I've switched this to be a hotfix for the Lockdown module instead, as listed in: https://bugzilla.wikimedia.org/show_bug.cgi?id=28842
This hotfix is no longer needed with the move to 119.
Log in to comment on this ticket.