jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/405326 )
Change subject: Revert "AdvancedSearch needs CirrusSearch" ...................................................................... Revert "AdvancedSearch needs CirrusSearch" This reverts commit f6bd829131deeffa1025f9aadc0f81fe904e936e. Bug: T184608 Change-Id: I84845dae88ccb7458654961891a111b61e857949 --- M zuul/parameter_functions.py 1 file changed, 0 insertions(+), 1 deletion(-) Approvals: Zfilipin: Looks good to me, approved jenkins-bot: Verified diff --git a/zuul/parameter_functions.py b/zuul/parameter_functions.py index 9361263..9f4d823 100644 --- a/zuul/parameter_functions.py +++ b/zuul/parameter_functions.py @@ -140,7 +140,6 @@ # One can add a skin by using: 'skin/XXXXX' '3D': ['MultimediaViewer'], 'AbuseFilter': ['AntiSpoof'], - 'AdvancedSearch': ['CirrusSearch'], 'ApiFeatureUsage': ['Elastica'], 'Arrays': ['Loops', 'ParserFunctions', 'Variables'], 'ArticlePlaceholder': ['Wikibase', 'Scribunto'], -- To view, visit https://gerrit.wikimedia.org/r/405326 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I84845dae88ccb7458654961891a111b61e857949 Gerrit-PatchSet: 2 Gerrit-Project: integration/config Gerrit-Branch: master Gerrit-Owner: Zfilipin <zfili...@wikimedia.org> Gerrit-Reviewer: Addshore <addshorew...@gmail.com> Gerrit-Reviewer: Andrew-WMDE <andrew.kos...@wikimedia.de> Gerrit-Reviewer: Gabriel Birke <gabriel.bi...@wikimedia.de> Gerrit-Reviewer: Hashar <has...@free.fr> Gerrit-Reviewer: Pablo Grass (WMDE) <pablo.gr...@wikimedia.de> Gerrit-Reviewer: Paladox <thomasmulhall...@yahoo.com> Gerrit-Reviewer: Tobias Gritschacher <tobias.gritschac...@wikimedia.de> Gerrit-Reviewer: Tonina Zhelyazkova <tonina.zhelyazk...@wikimedia.de> Gerrit-Reviewer: WMDE-Fisch <christoph.jau...@wikimedia.de> Gerrit-Reviewer: Zfilipin <zfili...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits