[MediaWiki-commits] [Gerrit] operations/mediawiki-config[master]: Give rcOresDamagingPref the same default as oresDamagingPref

2017-12-11 Thread jenkins-bot (Code Review) 
jenkins-bot has submitted this change and it was merged. ( 
https://gerrit.wikimedia.org/r/396805 )

Change subject: Give rcOresDamagingPref the same default as oresDamagingPref
..


Give rcOresDamagingPref the same default as oresDamagingPref

These two preferences were split in Ifbc5a6b3a5f.

Bug: T182354
Change-Id: Ie7cd6593fe98ac82343f65a2ac032fdb23a64cc4
---
M wmf-config/CommonSettings.php
1 file changed, 3 insertions(+), 1 deletion(-)

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



diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index f22043a..3bc58e3 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -3411,7 +3411,9 @@
 if ( $wmgUseORES ) {
wfLoadExtension( 'ORES' );
$wgOresBaseUrl = 'http://ores.discovery.wmnet:8081/';
-   $wgDefaultUserOptions['oresDamagingPref'] = 
$wmgOresDefaultSensitivityLevel;
+   $wgDefaultUserOptions['oresDamagingPref'] =
+   $wgDefaultUserOptions['rcOresDamagingPref'] =
+   $wmgOresDefaultSensitivityLevel;
 
// Backwards compatibility for upcoming config format change
if ( isset( $wgOresFiltersThresholds['goodfaith']['good'] ) ) {

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

Gerrit-MessageType: merged
Gerrit-Change-Id: Ie7cd6593fe98ac82343f65a2ac032fdb23a64cc4
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Catrope 
Gerrit-Reviewer: Catrope 
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]: Give rcOresDamagingPref the same default as oresDamagingPref

2017-12-09 Thread Catrope (Code Review) 
Catrope has uploaded a new change for review. ( 
https://gerrit.wikimedia.org/r/396805 )

Change subject: Give rcOresDamagingPref the same default as oresDamagingPref
..

Give rcOresDamagingPref the same default as oresDamagingPref

These two preferences were split in Ifbc5a6b3a5f.

Bug: T182354
Change-Id: Ie7cd6593fe98ac82343f65a2ac032fdb23a64cc4
---
M wmf-config/CommonSettings.php
1 file changed, 3 insertions(+), 1 deletion(-)


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

diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index f22043a..3bc58e3 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -3411,7 +3411,9 @@
 if ( $wmgUseORES ) {
wfLoadExtension( 'ORES' );
$wgOresBaseUrl = 'http://ores.discovery.wmnet:8081/';
-   $wgDefaultUserOptions['oresDamagingPref'] = 
$wmgOresDefaultSensitivityLevel;
+   $wgDefaultUserOptions['oresDamagingPref'] =
+   $wgDefaultUserOptions['rcOresDamagingPref'] =
+   $wmgOresDefaultSensitivityLevel;
 
// Backwards compatibility for upcoming config format change
if ( isset( $wgOresFiltersThresholds['goodfaith']['good'] ) ) {

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

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

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