jenkins-bot has submitted this change and it was merged.
Change subject: Enable $wgUseRCPatrol on mediawiki.org
......................................................................
Enable $wgUseRCPatrol on mediawiki.org
Bug: 56104
Change-Id: I86c1b08720146d1d0ae8be287357fab3fd821ec1
---
M wmf-config/InitialiseSettings.php
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
Reedy: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/InitialiseSettings.php
b/wmf-config/InitialiseSettings.php
index 872dd24..45da7b4 100644
--- a/wmf-config/InitialiseSettings.php
+++ b/wmf-config/InitialiseSettings.php
@@ -6158,6 +6158,7 @@
'itwikiquote' => true, // bug 12826
'itwiktionary' => true, // bug 11424
'kshwiki' => true, // bug 8798
+ 'mediawikiwiki' => true, // bug 56104
'metawiki' => true, // bug 4747
'mlwiki' => true,
'ndswiki' => true,
--
To view, visit https://gerrit.wikimedia.org/r/91614
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I86c1b08720146d1d0ae8be287357fab3fd821ec1
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Krinkle <[email protected]>
Gerrit-Reviewer: Reedy <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
