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

I am trying to download mediawiki from the following links: 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.