[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Remove AdvancedSearch inclusion in beta, it's in prod

2017-12-04 Thread Chad (Code Review) 
Chad has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/394504 )

Change subject: Remove AdvancedSearch inclusion in beta, it's in prod
..


Remove AdvancedSearch inclusion in beta, it's in prod

Change-Id: I16d0ea999dad6d70f82fbd5db02cf9df8dd09c28
---
M wmf-config/CommonSettings-labs.php
1 file changed, 0 insertions(+), 4 deletions(-)

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



diff --git a/wmf-config/CommonSettings-labs.php 
b/wmf-config/CommonSettings-labs.php
index 6ea6db0..4844d73 100644
--- a/wmf-config/CommonSettings-labs.php
+++ b/wmf-config/CommonSettings-labs.php
@@ -322,10 +322,6 @@
wfLoadExtension( 'PerformanceInspector' );
 }
 
-if ( $wmgUseAdvancedSearch ) {
-   wfLoadExtension( 'AdvancedSearch' );
-}
-
 if ( $wmgUseUniversalLanguageSelector ) {
$wgDefaultUserOptions['compact-language-links'] = 0;
 }

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

Gerrit-MessageType: merged
Gerrit-Change-Id: I16d0ea999dad6d70f82fbd5db02cf9df8dd09c28
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Chad 
Gerrit-Reviewer: Chad 
Gerrit-Reviewer: Urbanecm 
Gerrit-Reviewer: Zoranzoki21 
Gerrit-Reviewer: jenkins-bot <>

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Remove AdvancedSearch inclusion in beta, it's in prod

2017-11-30 Thread Chad (Code Review) 
Chad has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/394504 )

Change subject: Remove AdvancedSearch inclusion in beta, it's in prod
..

Remove AdvancedSearch inclusion in beta, it's in prod

Change-Id: I16d0ea999dad6d70f82fbd5db02cf9df8dd09c28
---
M wmf-config/CommonSettings-labs.php
1 file changed, 0 insertions(+), 4 deletions(-)


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

diff --git a/wmf-config/CommonSettings-labs.php 
b/wmf-config/CommonSettings-labs.php
index 6ea6db0..4844d73 100644
--- a/wmf-config/CommonSettings-labs.php
+++ b/wmf-config/CommonSettings-labs.php
@@ -322,10 +322,6 @@
wfLoadExtension( 'PerformanceInspector' );
 }
 
-if ( $wmgUseAdvancedSearch ) {
-   wfLoadExtension( 'AdvancedSearch' );
-}
-
 if ( $wmgUseUniversalLanguageSelector ) {
$wgDefaultUserOptions['compact-language-links'] = 0;
 }

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

Gerrit-MessageType: newchange
Gerrit-Change-Id: I16d0ea999dad6d70f82fbd5db02cf9df8dd09c28
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Chad 

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits