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