MediaWiki:Gadget-UserRightsManager.js: Difference between revisions
From Test Wiki
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, { |