MediaWiki:Gadget-userRightsManager.js: Difference between revisions
From Test Wiki
MediaWiki:Gadget-userRightsManager.js (view source)
Revision as of 22:25, 19 February 2022
, 19 February 2022fix user selection
(update the gadget to allow selecting which rights to grant + changing the target user) |
(fix user selection) |
||
Line 97: | Line 97: | ||
}), { | }), { | ||
label: 'Rights', | label: 'Rights', | ||
}), | |||
new OO.ui.FieldLayout(this.userNameInput, { | |||
label: 'Target user', | |||
}), | }), | ||
new OO.ui.FieldLayout(this.closingRemarksInput, { | new OO.ui.FieldLayout(this.closingRemarksInput, { |