MediaWiki extension, see http://www.mediawiki.org/wiki/Extension:CustomNavBlocks