jenkins-bot has submitted this change and it was merged. (
https://gerrit.wikimedia.org/r/353965 )
Change subject: Rename MFCustomLogos to MinervaCustomLogos
......................................................................
Rename MFCustomLogos to MinervaCustomLogos
Per 1d0b6b87e011.
Bug: T164502
Change-Id: Id60e9c082bbd8afbaf66e85c509d945e18c1daac
---
M wmf-config/InitialiseSettings.php
M wmf-config/mobile.php
2 files changed, 3 insertions(+), 3 deletions(-)
Approvals:
Addshore: Looks good to me, approved
jenkins-bot: Verified
diff --git a/wmf-config/InitialiseSettings.php
b/wmf-config/InitialiseSettings.php
index d2d4def..3b081cb 100644
--- a/wmf-config/InitialiseSettings.php
+++ b/wmf-config/InitialiseSettings.php
@@ -15100,7 +15100,7 @@
'wikitech' => true, // Not behind Varnish
],
-'wgMFCustomLogos' => [
+'wgMinervaCustomLogos' => [
'default' => [],
'wikipedia' => [
'copyright' =>
'/static/images/mobile/copyright/wikipedia-wordmark-en.svg',
diff --git a/wmf-config/mobile.php b/wmf-config/mobile.php
index 3071407..77ee954 100644
--- a/wmf-config/mobile.php
+++ b/wmf-config/mobile.php
@@ -12,8 +12,8 @@
$wgMFNearby = false;
}
- if ( isset( $wgMFCustomLogos['copyright'] ) ) {
- $wgMFCustomLogos['copyright'] = str_replace(
'{wgExtensionAssetsPath}', $wgExtensionAssetsPath,
$wgMFCustomLogos['copyright'] );
+ if ( isset( $wgMinervaCustomLogos['copyright'] ) ) {
+ $wgMinervaCustomLogos['copyright'] = str_replace(
'{wgExtensionAssetsPath}', $wgExtensionAssetsPath,
$wgMinervaCustomLogos['copyright'] );
}
if ( $wmgZeroBanner && !$wmgZeroPortal ) {
--
To view, visit https://gerrit.wikimedia.org/r/353965
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Id60e9c082bbd8afbaf66e85c509d945e18c1daac
Gerrit-PatchSet: 4
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Dereckson <[email protected]>
Gerrit-Reviewer: Addshore <[email protected]>
Gerrit-Reviewer: Dereckson <[email protected]>
Gerrit-Reviewer: Jdlrobson <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
