MarkTraceur has submitted this change and it was merged. Change subject: Add a user menu, and a related kick button for each user. ......................................................................
Add a user menu, and a related kick button for each user. This feature assumes a lot right now, but basically, you now get a list of users, and a bunch of buttons that mess with them. Here's hoping it doesn't break things too badly. Change-Id: Ib19065fd9a5d87dcee44e1be6d47392f5506f563 --- M EtherEditor.i18n.php M EtherEditor.php M includes/EtherEditorPad.php A modules/ext.etherEditor.css M modules/ext.etherEditor.js 5 files changed, 191 insertions(+), 78 deletions(-) Approvals: MarkTraceur: Verified; Looks good to me, approved -- To view, visit https://gerrit.wikimedia.org/r/15855 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ib19065fd9a5d87dcee44e1be6d47392f5506f563 Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/extensions/EtherEditor Gerrit-Branch: master Gerrit-Owner: MarkTraceur <[email protected]> Gerrit-Reviewer: MarkTraceur <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
