jenkins-bot has submitted this change and it was merged.
Change subject: Deploy ORES review tool to nlwiki
......................................................................
Deploy ORES review tool to nlwiki
Bug: T139432
Change-Id: I7c9b85e50545671cf2d4fdf1cd5ab3e9635c3b78
---
M wmf-config/InitialiseSettings.php
1 file changed, 8 insertions(+), 0 deletions(-)
Approvals:
MaxSem: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/InitialiseSettings.php
b/wmf-config/InitialiseSettings.php
index 00733fd..8a51d26 100644
--- a/wmf-config/InitialiseSettings.php
+++ b/wmf-config/InitialiseSettings.php
@@ -16804,6 +16804,7 @@
'default' => false,
'fawiki' => true, // T130211
'wikidatawiki' => true, // T130212
+ 'nlwiki' => true, // T139432
],
'wgOresModels' => [
'default' => [
@@ -16824,11 +16825,18 @@
'goodfaith' => false,
'wp10' => false,
], // T130212
+ 'nlwiki' => [
+ 'damaging' => true,
+ 'reverted' => false,
+ 'goodfaith' => false,
+ 'wp10' => false,
+ ], // T139432
],
'wgOresDamagingThresholds' => [
'default' => [ 'hard' => 0.5, 'soft' => 0.7 ],
'fawiki' => [ 'hard' => 0.12, 'soft' => 0.45 ], // T130211
'wikidatawiki' => [ 'hard' => 0.8, 'soft' => 0.96 ], // T130212
+ 'nlwiki' => [ 'hard' => 0.3, 'soft' => 0.72 ], // T139432
],
### End (roughly) of general extensions ########################
--
To view, visit https://gerrit.wikimedia.org/r/297541
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I7c9b85e50545671cf2d4fdf1cd5ab3e9635c3b78
Gerrit-PatchSet: 3
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Ladsgroup <[email protected]>
Gerrit-Reviewer: Florianschmidtwelzow <[email protected]>
Gerrit-Reviewer: MaxSem <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
