Addshore has uploaded a new change for review. ( 
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(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/85/390385/1

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: newchange
Gerrit-Change-Id: I38c2196ad747670f9d5cfd00923b4cff2d21babb
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Addshore <[email protected]>

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

Reply via email to