Updated mediawiki/extensions
Project: mediawiki/extensions/ExtensionDistributor  3475bcaed744fbe7750cd44c2f0779983661b4b4
null
Provide ability to customize branch description on-wiki

This way we can provide nice descriptive names regardless
of the actual branch name. Fall back to normal branch name
if the message isn't defined or is disabled.

Change-Id: Ide7e6bc840b5f4e23753d263fa7aff5373960ed8