Updated mediawiki/extensions
Project: mediawiki/extensions/ExtensionDistributor  93474eb21e05627f734eeae70dee20fc37cfbf45

Expose configuration via the API

Provides the values of $wgExtDistSnapshotRefs and
$wgExtDistListFile via action=query&meta=siteinfo

Change-Id: I15a1773e15e5f60f38a74789644d687e24be4a9f