Raimond Spekking has submitted this change and it was merged. Change subject: [Kartographer] Deployed on WMF cluster ......................................................................
[Kartographer] Deployed on WMF cluster https://git.wikimedia.org/commitdiff/operations%2Fmediawiki-config/95b25e478b8eec4e6f78fc59718b932ab0037672 Change-Id: I4394ce4df44ae67b6fec3bb356c4f836ce715f4e --- M groups/MediaWiki/WikimediaMainAgg.yaml 1 file changed, 1 insertion(+), 0 deletions(-) Approvals: Raimond Spekking: Verified; Looks good to me, approved diff --git a/groups/MediaWiki/WikimediaMainAgg.yaml b/groups/MediaWiki/WikimediaMainAgg.yaml index 62d08c8..94ca4bc 100644 --- a/groups/MediaWiki/WikimediaMainAgg.yaml +++ b/groups/MediaWiki/WikimediaMainAgg.yaml @@ -32,6 +32,7 @@ - ext-inputbox - ext-intersection - ext-jquery-uls + - ext-kartographer - ext-math - ext-mobilefrontend # r93435 - ext-newusermessage -- To view, visit https://gerrit.wikimedia.org/r/277606 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I4394ce4df44ae67b6fec3bb356c4f836ce715f4e Gerrit-PatchSet: 1 Gerrit-Project: translatewiki Gerrit-Branch: master Gerrit-Owner: Raimond Spekking <[email protected]> Gerrit-Reviewer: Raimond Spekking <[email protected]> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
