Thread:Project:Support desk/MediaWiki extension download error/reply (12)

It's better than nothing, right?

As long as this problem is not fixed, you can go to the folder "extensions/" in your installation:

cd wiki/extensions

Then get the files e.g. of the Collection extension with the following commands on the command line:

git clone https://gerrit.wikimedia.org/r/p/mediawiki/extensions/Collection.git

This will download you the folder "Collection" with the extension in it into the folder extensions/.