Wiki-Tools

Extensions and hacks for MediaWiki