jenkins-bot has submitted this change and it was merged.

Change subject: Deploy WikidataPageBanner extension
......................................................................


Deploy WikidataPageBanner extension

Enable without fallback banner image or wikidata banner image so
editors can test with real data.

Bug: T98029
Change-Id: Iea8b9c1669fa271dcad13f4d5f6de8e8fcafe0d7
---
M wmf-config/CommonSettings.php
M wmf-config/InitialiseSettings.php
M wmf-config/extension-list
3 files changed, 14 insertions(+), 0 deletions(-)

Approvals:
  Kaldari: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php
index 15a78fa..1bd34b9 100755
--- a/wmf-config/CommonSettings.php
+++ b/wmf-config/CommonSettings.php
@@ -3017,7 +3017,12 @@
 // Enable gather-hidelist for global user groups - JRA 4-1-2015 T94652
 $wgAvailableRights[] = 'gather-hidelist';
 
+if ( $wmgUseWPB ) {
+       wfLoadExtension( 'WikidataPageBanner' );
+}
+
 if ( file_exists( "$wmfConfigDir/extension-list-$wmgVersionNumber" ) ) {
+
        // Version specific extension-list files
        //
        // If a new extension is added only in one MediaWiki version,
diff --git a/wmf-config/InitialiseSettings.php 
b/wmf-config/InitialiseSettings.php
index 83e905a..12a2db3 100644
--- a/wmf-config/InitialiseSettings.php
+++ b/wmf-config/InitialiseSettings.php
@@ -15626,6 +15626,14 @@
        'group0' => true,
 ),
 
+// Wikivoyage banners extension (T98029)
+'wmgUseWPB' => array(
+       'default' => false,
+       'enwikivoyage' => true,
+),
+'wgWPBBannerProperty' => array(
+       'default' => false,
+),
 );
 
 
diff --git a/wmf-config/extension-list b/wmf-config/extension-list
index 6cb17fa..ea4e622 100644
--- a/wmf-config/extension-list
+++ b/wmf-config/extension-list
@@ -132,6 +132,7 @@
 $IP/extensions/VipsScaler/VipsScaler.php
 $IP/extensions/VipsScaler/VipsTest.php
 $IP/extensions/VisualEditor/VisualEditor.php
+$IP/extensions/WikidataPageBanner/extension.json
 $IP/extensions/WikiEditor/WikiEditor.php
 $IP/extensions/WikiGrok/WikiGrok.php
 $IP/extensions/wikihiero/wikihiero.php

-- 
To view, visit https://gerrit.wikimedia.org/r/231032
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: Iea8b9c1669fa271dcad13f4d5f6de8e8fcafe0d7
Gerrit-PatchSet: 3
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Jdlrobson <[email protected]>
Gerrit-Reviewer: Kaldari <[email protected]>
Gerrit-Reviewer: Legoktm <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to