Thread:Project:Support desk/download.wikimedia.org server down?

I am trying to download mediawiki from the following links:

http://download.wikimedia.org/mediawiki/1.16/mediawiki-1.16.0.tar.gz

it seems that the download server is down. None of the files in this server is available. Could anyone please help to fix it? Thanks.