Demon has submitted this change and it was merged.

Change subject: Configure ExtensionDistributor in preparation for new version
......................................................................


Configure ExtensionDistributor in preparation for new version

Change-Id: Id2755235f6794b627ecd6356b5e70d681af7b29f
---
M wmf-config/CommonSettings.php
1 file changed, 9 insertions(+), 0 deletions(-)

Approvals:
  Demon: Verified; Looks good to me, approved
  jenkins-bot: Checked


--
To view, visit https://gerrit.wikimedia.org/r/42966
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Id2755235f6794b627ecd6356b5e70d681af7b29f
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Demon <[email protected]>
Gerrit-Reviewer: Aaron Schulz <[email protected]>
Gerrit-Reviewer: Demon <[email protected]>
Gerrit-Reviewer: jenkins-bot

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to