jenkins-bot has submitted this change and it was merged.
Change subject: Changed wgNamespacesToBeSearchedDefault for itwikiversity
......................................................................
Changed wgNamespacesToBeSearchedDefault for itwikiversity
Added Area, Corso and Materia to default namespaces to
be searched (100, 102, 104 respectively).
Bug: T114932
Change-Id: I518e1834c28a33de632adbce2bda0e93cfa7ebb9
---
M wmf-config/InitialiseSettings.php
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
Alex Monk: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/InitialiseSettings.php
b/wmf-config/InitialiseSettings.php
index 02e68f5..f91bb3a 100644
--- a/wmf-config/InitialiseSettings.php
+++ b/wmf-config/InitialiseSettings.php
@@ -6835,6 +6835,7 @@
'+idwikisource' => array( 100 => 1, 102 => 1 ),
'+iswikisource' => array( 100 => 1, 102 => 1 ), // T46164
'+itwikisource' => array( 102 => 1, 110 => 1 ),
+ '+itwikiversity' => array( 100 => 1, 102 => 1, 104 => 1 ), // T114932
'+itwikivoyage' => array( 100 => 1, 104 => 1, 106 => 1 ),
'+kowikisource' => array( 100 => 1 ),
'+lawikisource' => array( 102 => 1, 106 => 1 ),
--
To view, visit https://gerrit.wikimedia.org/r/248371
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I518e1834c28a33de632adbce2bda0e93cfa7ebb9
Gerrit-PatchSet: 3
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Pmlineditor <[email protected]>
Gerrit-Reviewer: Alex Monk <[email protected]>
Gerrit-Reviewer: Chad <[email protected]>
Gerrit-Reviewer: Luke081515 <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits