Translations:Download from Git/42/en

If you prefer to have all MediaWiki extensions that are at gerrit.wikimedia.org checked out to your machine, do the following: