PermissionManager doesn't exist in 1.33, so we cannot use it in 1.31
authorReedy <reedy@wikimedia.org>
Fri, 11 Oct 2019 23:36:47 +0000 (00:36 +0100)
committerReedy <reedy@wikimedia.org>
Fri, 11 Oct 2019 23:39:35 +0000 (23:39 +0000)
commit3c22347f55102536b050160dfa9b30c21018fc2c
tree183f3e89aee4a7c08c769e636c20c7fcb466295a
parentc97a593ebd397e5883a1700e658e0653db10577b
PermissionManager doesn't exist in 1.33, so we cannot use it in 1.31

Followup T230402, PermissionManager doesn't exist until 1.33, so fix the
backported patches to use User::isAllowed() instead.

Change-Id: Ia73bf71293d67f97fb5086ffc0384307568d4d43
RELEASE-NOTES-1.31
includes/specials/SpecialRedirect.php