Updated mediawiki/extensions
Project: mediawiki/extensions/ExtensionDistributor  5a148da54543d273479e1cdbf5a5ee17d255e9dd

Don't depend on hacky $wgExtDistListFile file

Fetch the list of extension repositories from Gerrit itself,
instead of relying on a list of extension names.

Improve some i18n messages while we're at it too.

Change-Id: I3967cc558138938c9280a1844b80dd5e01a29cf8