An extension to manage several wikis with one MediaWiki installation