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

Reply via email to