MediaWiki:Gadget-Highlight

Highlight - Adds highlighting to bots and global user right groups.