Extension:ExtensionDistributor

The ExtensionDistributor extension generates .tar.gz snapshots of extensions in the git repository and distributes them. It is intended for use on www.mediawiki.org. See Special:ExtensionDistributor to see how it works.

Installation
Add the following to LocalSettings.php

when you have installed it go to where your ExtensionDistributor.php and edit for example this one is for mediawiki $wgExtDistListFile = 'https://gerrit.wikimedia.org/mediawiki-extensions.txt';

$wgExtDistArchiveAPI = 'https://api.github.com/repos/wikimedia/mediawiki-extensions-$EXT/tarball/$REF';

$wgExtDistProxy = 'url-downloader.wikimedia.org:8080';