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

Yes, this is a known issue, for now you can download it from http://noc.wikimedia.org/mediawiki-1.16.0.tar.gz