jenkins-bot has submitted this change and it was merged. Change subject: Add user rights to $wgAvailableRights ......................................................................
Add user rights to $wgAvailableRights Found by tests: https://integration.wikimedia.org/ci/job/mwext-testextension-zend/1717/console Change-Id: Iabcc9429d1b6a1cd7dadb17be44e38e8216209bb --- M BibManager.php 1 file changed, 4 insertions(+), 0 deletions(-) Approvals: Legoktm: Looks good to me, approved jenkins-bot: Verified diff --git a/BibManager.php b/BibManager.php index 6f04e10..1dd8a69 100644 --- a/BibManager.php +++ b/BibManager.php @@ -136,3 +136,7 @@ $wgGroupPermissions['sysop']['bibmanageredit'] = true; $wgGroupPermissions['sysop']['bibmanagerdelete'] = true; $wgGroupPermissions['sysop']['bibmanagercreate'] = true; + +$wgAvailableRights[] = 'bibmanageredit'; +$wgAvailableRights[] = 'bibmanagerdelete'; +$wgAvailableRights[] = 'bibmanagercreate'; \ No newline at end of file -- To view, visit https://gerrit.wikimedia.org/r/211417 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Iabcc9429d1b6a1cd7dadb17be44e38e8216209bb Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/BibManager Gerrit-Branch: master Gerrit-Owner: Umherirrender <umherirrender_de...@web.de> Gerrit-Reviewer: Legoktm <legoktm.wikipe...@gmail.com> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits