jenkins-bot has submitted this change and it was merged.
Change subject: Add Nova_Resource namespace to default labswiki search options
......................................................................
Add Nova_Resource namespace to default labswiki search options
Bug: T67132
Change-Id: Iaaf3dce4f0f3a836d34d158a1f687206d0dcf68f
---
M wmf-config/InitialiseSettings.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Alex Monk: Looks good to me, approved
Negative24: Looks good to me, but someone else must approve
jenkins-bot: Verified
diff --git a/wmf-config/InitialiseSettings.php
b/wmf-config/InitialiseSettings.php
index ab319b2..a5274be 100644
--- a/wmf-config/InitialiseSettings.php
+++ b/wmf-config/InitialiseSettings.php
@@ -6629,7 +6629,7 @@
'+itwikivoyage' => array( 100 => 1, 104 => 1, 106 => 1 ),
'+kowikisource' => array( 100 => 1 ),
'+lawikisource' => array( 102 => 1, 106 => 1 ),
- '+labswiki' => array( 12 => 1, 112 => 1 ),
+ '+labswiki' => array( 12 => 1, 112 => 1, 498 => 1 ),
'+ltwiki' => array( 100 => 1 ),
'+mediawikiwiki' => array( 12 => 1, 100 => 1, 102 => 1, 104 => 1, 106
=> 1 ), // Bug T85807
'+metawiki' => array( 12 => 1, 200 => 1, 202 => 1 ),
--
To view, visit https://gerrit.wikimedia.org/r/198460
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Iaaf3dce4f0f3a836d34d158a1f687206d0dcf68f
Gerrit-PatchSet: 2
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Alex Monk <[email protected]>
Gerrit-Reviewer: Alex Monk <[email protected]>
Gerrit-Reviewer: Negative24 <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
