MediaWiki:Gadget-markAdmins

markAdmins: Mark admins and other users with certain rights.