MediaWiki extension to automate process of importing an existing wiki onto a new server