jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/350488 )
Change subject: Enable ORES on fiwiki
......................................................................
Enable ORES on fiwiki
Bug: T163011
Change-Id: I1082244bf7f42ac1ffd98972c0aea3ae77527b2e
---
M wmf-config/InitialiseSettings.php
1 file changed, 8 insertions(+), 0 deletions(-)
Approvals:
Catrope: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/InitialiseSettings.php
b/wmf-config/InitialiseSettings.php
index 7bea324..aa0a8d9 100644
--- a/wmf-config/InitialiseSettings.php
+++ b/wmf-config/InitialiseSettings.php
@@ -18034,6 +18034,7 @@
'cswiki' => true, // T151611
'etwiki' => true, // T159609
'hewiki' => true, // T161621
+ 'fiwiki' => true, // T163011
],
'wgOresExtensionStatus' => [
'default' => 'on',
@@ -18198,6 +18199,13 @@
'verylikelybad' => [ 'min' => 0, 'max' =>
'recall_at_precision(min_precision=0.9)' ],
],
],
+ 'fiwiki' => [
+ // damaging uses defaults for everything
+ 'goodfaith' => [
+ // likelygood, maybebad, likelybad use defaults
+ 'verylikelybad' => [ 'min' => 0, 'max' =>
'recall_at_precision(min_precision=0.9)' ],
+ ],
+ ],
],
'wgOresEnabledNamespaces' => [
'default' => [],
--
To view, visit https://gerrit.wikimedia.org/r/350488
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I1082244bf7f42ac1ffd98972c0aea3ae77527b2e
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Catrope <[email protected]>
Gerrit-Reviewer: Catrope <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
