jenkins-bot has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/390385 )
Change subject: Add AdvancedSearch to extension-list ...................................................................... Add AdvancedSearch to extension-list Bug: T180147 Change-Id: I38c2196ad747670f9d5cfd00923b4cff2d21babb --- M wmf-config/extension-list M wmf-config/extension-list-labs 2 files changed, 1 insertion(+), 1 deletion(-) Approvals: Addshore: Looks good to me, approved jenkins-bot: Verified Zoranzoki21: Looks good to me, but someone else must approve diff --git a/wmf-config/extension-list b/wmf-config/extension-list index 779d645..4b0bd29 100644 --- a/wmf-config/extension-list +++ b/wmf-config/extension-list @@ -1,5 +1,6 @@ $IP/extensions/3D/extension.json $IP/extensions/AbuseFilter/extension.json +$IP/extensions/AdvancedSearch/extension.json $IP/extensions/AntiSpoof/extension.json $IP/extensions/ApiFeatureUsage/extension.json $IP/extensions/ArticleCreationWorkflow/extension.json diff --git a/wmf-config/extension-list-labs b/wmf-config/extension-list-labs index a4706ee..45d77bf 100644 --- a/wmf-config/extension-list-labs +++ b/wmf-config/extension-list-labs @@ -1,4 +1,3 @@ -$IP/extensions/AdvancedSearch/extension.json $IP/extensions/ArticleCreationWorkflow/extension.json $IP/extensions/EmailAuth/extension.json $IP/extensions/PerformanceInspector/extension.json -- To view, visit https://gerrit.wikimedia.org/r/390385 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I38c2196ad747670f9d5cfd00923b4cff2d21babb Gerrit-PatchSet: 2 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: Addshore <[email protected]> Gerrit-Reviewer: Addshore <[email protected]> Gerrit-Reviewer: Urbanecm <[email protected]> Gerrit-Reviewer: Zoranzoki21 <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
