Support for PermissionManager changes at https://gerrit.wikimedia.org/r/c/mediawiki/core/+/502484
Support for PermissionManager changes at
https://gerrit.wikimedia.org/r/c/mediawiki/core/+/502484

Change-Id: Ie4cedf457eaaa93ec3055c37539322855e02ce26

wikimedia/mediawiki-extensions-Thanks,wikimedia/mediawiki-extensions-Thanks,wikimedia/mediawiki-extensions-Thanks