Updated mediawiki/extensions
Project: mediawiki/extensions/ExtensionDistributor  64f2522414fbea1606b7631dd9685fcf13f6db10
null
Don't need to proxy the extension list

Change-Id: Iffe7cec3ed707086d0bdd85cbedca2709c438f1d