(bug 31565) Option to use group members on Special:UserRights
authorAmir E. Aharoni <amir.aharoni@mail.huji.ac.il>
Wed, 24 Oct 2012 10:24:37 +0000 (12:24 +0200)
committerAmir E. Aharoni <amir.aharoni@mail.huji.ac.il>
Mon, 29 Oct 2012 07:54:46 +0000 (09:54 +0200)
commit5e041dccfd37305e0c8db4a131c9061fcb4429d2
tree891dde75cfc25abea55941c1674aa97f8d95ef14
parentc64072529e6cd586cdf8aeeb15cea1d66b19e355
(bug 31565) Option to use group members on Special:UserRights

If a language community wants to show member names rather than
group names, it's possible to use the new optional message
userrights-groupsmember-type.

Change-Id: I1dc3efcb2c8a32a01b33158c9a14c079e42705d7
includes/specials/SpecialUserrights.php
languages/messages/MessagesEn.php
languages/messages/MessagesQqq.php
maintenance/language/messageTypes.inc
maintenance/language/messages.inc