Simple extension to MediaWiki to add side banner