MediaWiki:Gadget-userRightsManagerTW.js: Difference between revisions
Content added Content deleted
(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, {
|