The Produnto MediaWiki extension, a package manager for Scribunto and Gadgets - View it on GitHub