[MediaWiki-commits] [Gerrit] Set $wgLogoHD for enwiki - change (operations/mediawiki-config)

2015-04-02 Thread jenkins-bot (Code Review)
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


[MediaWiki-commits] [Gerrit] Set $wgLogoHD for enwiki - change (operations/mediawiki-config)

2015-03-31 Thread Ori.livneh (Code Review)
Ori.livneh has uploaded a new change for review.

  https://gerrit.wikimedia.org/r/201050

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(-)


  git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config 
refs/changes/50/201050/1

diff --git a/wmf-config/InitialiseSettings.php 
b/wmf-config/InitialiseSettings.php
index 97b980a..ad16d2b 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: newchange
Gerrit-Change-Id: I3bbf2418dda52c6a2c84ee6453df8b341cdea648
Gerrit-PatchSet: 1
Gerrit-Project: operations/mediawiki-config
Gerrit-Branch: master
Gerrit-Owner: Ori.livneh o...@wikimedia.org

___
MediaWiki-commits mailing list
MediaWiki-commits@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits