MediaWiki:Gadget-markAdmins

Mark users with additional rights.