A collection of small MediaWiki extensions in use on our wiki - View it on GitHub