Updated mediawiki/extensions Project: mediawiki/extensions/ExtensionDistributor a7f5e0df967ee6df2b87b02df5eb487be95ab97e
Record downloads with EventLogging
This will log the name ("ExtensionDistributor"), version
("master"), and type ("extensions") in EventLogging if it is enabled
(default off).
The schema being used is:
https://meta.wikimedia.org/wiki/Schema:ExtDistDownloads
Bug: T27844
Change-Id: I8eab352cf8ea9a92e8728b598539b40512fd7dc2