MediaWiki:Gadget-UserRightsManager.js: Difference between revisions
Jump to navigation
Jump to search
MediaWiki:Gadget-UserRightsManager.js (view source)
Revision as of 17:23, 26 January 2024
, 26 Januaryno edit summary
No edit summary Tag: Reverted |
mNo edit summary Tag: Reverted |
||
Line 74: | Line 74: | ||
}); | }); | ||
this.groupsNonStewardSuppressorInput = new OO.ui.CheckboxInputWidget({ | this.groupsNonStewardSuppressorInput = new OO.ui.CheckboxInputWidget({ | ||
selected: permissionText.includes(' | selected: permissionText.includes('suppressor') && mw.config.get('wgUserGroups').includes('steward'), | ||
disabled: !mw.config.get('wgUserGroups').includes('steward') | disabled: !mw.config.get('wgUserGroups').includes('steward') | ||
}); | }); |