Yurik has uploaded a new change for review. ( https://gerrit.wikimedia.org/r/327119 )
Change subject: Added Scribunto to JsonConfig instead of Kartographer ...................................................................... Added Scribunto to JsonConfig instead of Kartographer Change-Id: I510126c8418f19fef3792c14f3e15c4ad37ac803 --- M zuul/parameter_functions.py 1 file changed, 2 insertions(+), 2 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/integration/config refs/changes/19/327119/1 diff --git a/zuul/parameter_functions.py b/zuul/parameter_functions.py index 0f229ea..afb5c11 100644 --- a/zuul/parameter_functions.py +++ b/zuul/parameter_functions.py @@ -133,8 +133,8 @@ 'GuidedTour': ['EventLogging'], 'GWToolset': ['SyntaxHighlight_GeSHi', 'Scribunto', 'TemplateData'], 'ImageMetrics': ['EventLogging'], - 'Kartographer': ['ParserFunctions', 'Scribunto', 'VisualEditor', - 'WikimediaMessages'], + 'JsonConfig': ['Scribunto'], + 'Kartographer': ['ParserFunctions', 'VisualEditor', 'WikimediaMessages'], 'LanguageTool': ['VisualEditor'], 'LifeWeb': ['LifeWebCore', 'Wikibase'], 'LightweightRDFa': ['WikiEditor'], -- To view, visit https://gerrit.wikimedia.org/r/327119 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: I510126c8418f19fef3792c14f3e15c4ad37ac803 Gerrit-PatchSet: 1 Gerrit-Project: integration/config Gerrit-Branch: master Gerrit-Owner: Yurik <yu...@wikimedia.org> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits