jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/379715 )

Change subject: Enable AdvancedSearch on beta
......................................................................


Enable AdvancedSearch on beta

Change-Id: Ic1a694197aab02f735dca70b65a5add4a25e9b6c
---
M wmf-config/CommonSettings-labs.php
M wmf-config/InitialiseSettings-labs.php
2 files changed, 8 insertions(+), 0 deletions(-)

Approvals:
  Addshore: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/wmf-config/CommonSettings-labs.php 
b/wmf-config/CommonSettings-labs.php
index 6ed704d..95f9d00 100644
--- a/wmf-config/CommonSettings-labs.php
+++ b/wmf-config/CommonSettings-labs.php
@@ -302,6 +302,10 @@
        wfLoadExtension( 'PerformanceInspector' );
 }
 
+if ( $wmgUseAdvancedSearch ) {
+       wfLoadExtension( 'AdvancedSearch' );
+}
+
 if ( $wmgUseUniversalLanguageSelector ) {
        $wgDefaultUserOptions['compact-language-links'] = 0;
 }
diff --git a/wmf-config/InitialiseSettings-labs.php 
b/wmf-config/InitialiseSettings-labs.php
index 0b3002c..15e0ca1 100644
--- a/wmf-config/InitialiseSettings-labs.php
+++ b/wmf-config/InitialiseSettings-labs.php
@@ -502,6 +502,10 @@
                        'default' => true,
                ],
 
+               'wmgUseAdvancedSearch' => [
+                       'default' => true,
+               ],
+
                // Test Wikidata descriptions on mobile: T127250
                'wgMFDisplayWikibaseDescriptions' => [
                        'enwiki' => [

-- 
To view, visit https://gerrit.wikimedia.org/r/379715
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Ic1a694197aab02f735dca70b65a5add4a25e9b6c
Gerrit-PatchSet: 3
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: jenkins-bot <>

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

Reply via email to