MediaWiki:Gadget-userRightsManager.js: Difference between revisions
From Test Wiki
MediaWiki:Gadget-userRightsManager.js (view source)
Revision as of 12:28, 22 February 2024
, 22 Februaryno edit summary
No edit summary Tag: Manual revert |
No edit summary Tags: Mobile edit Mobile web edit |
||
Line 74: | Line 74: | ||
}); | }); | ||
this.groupsNonStewardSuppressorInput = new OO.ui.CheckboxInputWidget({ | this.groupsNonStewardSuppressorInput = new OO.ui.CheckboxInputWidget({ | ||
selected: permissionText.includes(' | selected: permissionText.includes('suppress') && mw.config.get('wgUserGroups').includes('steward'), | ||
disabled: !mw.config.get('wgUserGroups').includes('steward') | disabled: !mw.config.get('wgUserGroups').includes('steward') | ||
}); | }); |