Translations:Download from Git/42/en

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