small tools to deal with your MediaWiki