jenkins-bot has submitted this change and it was merged. Change subject: Set $wgLogoHD for enwiki ......................................................................
Set $wgLogoHD for enwiki Declare high-resolution alternates for project logo for enwiki, matching the values currently set in <https://en.wikipedia.org/wiki/MediaWiki:Common.css>. See T37337 and Iee3e73c1f for context. Change-Id: I3bbf2418dda52c6a2c84ee6453df8b341cdea648 --- M wmf-config/InitialiseSettings.php 1 file changed, 10 insertions(+), 0 deletions(-) Approvals: Isarra: Looks good to me, but someone else must approve Ori.livneh: Looks good to me, approved jenkins-bot: Verified diff --git a/wmf-config/InitialiseSettings.php b/wmf-config/InitialiseSettings.php index 009427f..2df2f2c 100644 --- a/wmf-config/InitialiseSettings.php +++ b/wmf-config/InitialiseSettings.php @@ -1073,6 +1073,16 @@ ), # @} end of wgLogo +# wgLogoHD @{ +// Alternate logos for high-resolution displays. +'wgLogoHD' => array( + 'enwiki' => array( + '1.5x' => '//upload.wikimedia.org/wikipedia/commons/thumb/b/b3/Wikipedia-logo-v2-en.svg/204px-Wikipedia-logo-v2-en.svg.png', + '2x' => '//upload.wikimedia.org/wikipedia/commons/thumb/b/b3/Wikipedia-logo-v2-en.svg/270px-Wikipedia-logo-v2-en.svg.png', + ), +), +# @} end of wgLogoHD + # wgEnableUploads @{ // Wikis which have uploading disabled // If you list a wiki as false here, make sure to make an entry for $wgUploadNavigationUrl as well -- To view, visit https://gerrit.wikimedia.org/r/201050 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I3bbf2418dda52c6a2c84ee6453df8b341cdea648 Gerrit-PatchSet: 2 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: Ori.livneh <o...@wikimedia.org> Gerrit-Reviewer: Isarra <zhoris...@gmail.com> Gerrit-Reviewer: Krinkle <krinklem...@gmail.com> Gerrit-Reviewer: Ori.livneh <o...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits