MediaWiki:Gadget-markAdmins

markAdmins: Marks administrators on discussion pages and in the page history.