I'm trying to download the Interwiki extension discussed at
http://www.mediawiki.org/wiki/Extension:Interwiki
The download link (the one titled "tree") takes me to
https://gerrit.wikimedia.org/r/gitweb?p=mediawiki/extensions/Interwiki.git;…
. But what am I supposed to download?