Tool that allows for easy installation and updating of MediaWiki extensions