MediaWiki:Gadget-UserTools

Helpful user-centric tools, such as AjaxRC, CacheCheck, DiscussionsActivity, etc.