jenkins-bot has submitted this change and it was merged.

Change subject: Enable ORES on fawiki
......................................................................


Enable ORES on fawiki

Bug: T120923
Bug: T130211
Change-Id: Ie5dc07a3c6f57c4213cab1b32ca97517e111e470
---
M wmf-config/CommonSettings.php
M wmf-config/InitialiseSettings.php
2 files changed, 27 insertions(+), 0 deletions(-)

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



diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index b90d0fd..bfffa3c 100644
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -3215,6 +3215,11 @@
        }
 }
 
+if ( $wmgUseORES ) {
+       wfLoadExtension( 'ORES' );
+       $wgOresBaseUrl = 'https://ores.wikimedia.org/';
+}
+
 ### End (roughly) of general extensions ########################
 
 $wgApplyIpBlocksToXff = $wmgUseXFFBlocks;
diff --git a/wmf-config/InitialiseSettings.php 
b/wmf-config/InitialiseSettings.php
index 423cc81..dda6493 100644
--- a/wmf-config/InitialiseSettings.php
+++ b/wmf-config/InitialiseSettings.php
@@ -16744,6 +16744,28 @@
        'default' => true,
        'loginwiki' => false, // T61702
 ],
+'wmgUseORES' => [
+       'default' => false,
+       'fawiki' => true, // T130211
+],
+'wgOresModels' => [
+       'default' => [
+               'damaging' => true,
+               'reverted' => true,
+               'goodfaith' => true,
+               'wp10' => false,
+       ],
+       'fawiki' => [
+               'damaging' => true,
+               'reverted' => false,
+               'goodfaith' => false,
+               'wp10' => false,
+       ], // T130211
+],
+'wgOresDamagingThresholds' => [
+       'default' => [ 'hard' => 0.5, 'soft'=> 0.7 ],
+       'fawiki' => [ 'hard' => 0.12, 'soft'=> 0.45 ], // T130211
+],
 ### End (roughly) of general extensions ########################
 
 // Apply blocks to IPs in XFF (T25343)

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

Gerrit-MessageType: merged
Gerrit-Change-Id: Ie5dc07a3c6f57c4213cab1b32ca97517e111e470
Gerrit-PatchSet: 3
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Reedy <[email protected]>
Gerrit-Reviewer: Florianschmidtwelzow <[email protected]>
Gerrit-Reviewer: Ladsgroup <[email protected]>
Gerrit-Reviewer: Thcipriani <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

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

Reply via email to