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: | Line 91: | ||
}), { |
}), { |
||
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, { |
||