jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/355116 )
Change subject: Revert "Use wikitech db group instead of labswiki+ labtestwiki"
......................................................................
Revert "Use wikitech db group instead of labswiki+ labtestwiki"
This reverts commit 4a24b8e1bc27d8b90c25ee6b39ac84610327c6ce.
Change-Id: I3d2b4f9e86c5734cab1e7e479da60271e9bc7bdb
---
M wmf-config/InitialiseSettings.php
1 file changed, 4 insertions(+), 2 deletions(-)
Approvals:
BryanDavis: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/InitialiseSettings.php
b/wmf-config/InitialiseSettings.php
index 06adc5b..24979a9 100644
--- a/wmf-config/InitialiseSettings.php
+++ b/wmf-config/InitialiseSettings.php
@@ -17252,7 +17252,8 @@
'nonglobal' => false,
// Effectively repeat nonglobal entry above because both labswiki and
labtestwiki are also medium
- 'wikitech' => false,
+ 'labswiki' => false,
+ 'labtestwiki' => false,
'enwikisource' => true, // T78496
'frwiki' => true, // T120568
@@ -18654,7 +18655,8 @@
'wmgUseDynamicSidebar' => [
'default' => false,
- 'wikitech' => true,
+ 'labswiki' => true,
+ 'labstestwiki' => true,
],
'wgNonincludableNamespaces' => [
--
To view, visit https://gerrit.wikimedia.org/r/355116
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I3d2b4f9e86c5734cab1e7e479da60271e9bc7bdb
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: BryanDavis <[email protected]>
Gerrit-Reviewer: BryanDavis <[email protected]>
Gerrit-Reviewer: DCausse <[email protected]>
Gerrit-Reviewer: Dereckson <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
