On T190369 <https://phabricator.wikimedia.org/T190369> we're trying to
complete our collection of old MediaWiki release tarballs.
MediaWiki 1.20.7 was released on September 3, 2013. On December 8,
2013, it was reported that something happened to our download server,
and many files went missing.
Most of the missing files turn out to have been mirrored in once place
or another, but 1.20.7, which was only available for three months at
most, hasn't shown up yet.
Has anyone got a copy? The filename would have been
mediawiki-1.20.7.tar.gz
-- Tim Starling