[MediaWiki-commits] [Gerrit] Add HiDPI PNG variants for 'A Wikimedia Project' logo - change (operations/mediawiki-config)
jenkins-bot has submitted this change and it was merged. Change subject: Add HiDPI PNG variants for 'A Wikimedia Project' logo .. Add HiDPI PNG variants for 'A Wikimedia Project' logo Generated from SVG on Commons: https://en.wikipedia.org/wiki/File:A_Wikimedia_project.svg and run through pngcrush. Using srcset, which should be picked up by browsers natively or through the JavaScript polyfill. Bug: 63872 Change-Id: Ie3ae7808881802d1d856195ae7e7b9e62b7590d9 --- M .gitignore A images/wikimedia-button-1.5x.png A images/wikimedia-button-2x.png M wmf-config/CommonSettings.php 4 files changed, 9 insertions(+), 1 deletion(-) Approvals: Reedy: Looks good to me, approved jenkins-bot: Verified diff --git a/.gitignore b/.gitignore index d01c255..6f298a8 100644 --- a/.gitignore +++ b/.gitignore @@ -31,6 +31,8 @@ # Exceptions: # $wgCopyrightIcon !/images/wikimedia-button.png +!/images/wikimedia-button-1.5x.png +!/images/wikimedia-button-2x.png ## Not in version control yet fonts diff --git a/images/wikimedia-button-1.5x.png b/images/wikimedia-button-1.5x.png new file mode 100644 index 000..fb1cb7d --- /dev/null +++ b/images/wikimedia-button-1.5x.png Binary files differ diff --git a/images/wikimedia-button-2x.png b/images/wikimedia-button-2x.png new file mode 100644 index 000..d3f06ea --- /dev/null +++ b/images/wikimedia-button-2x.png Binary files differ diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php index 05349e0..6b7f304 100644 --- a/wmf-config/CommonSettings.php +++ b/wmf-config/CommonSettings.php @@ -905,7 +905,13 @@ $wgUseHashTable = true; -$wgCopyrightIcon = 'a href=//wikimediafoundation.org/img src=//' . $wmfHostnames['bits'] . '/images/wikimedia-button.png width=88 height=31 alt=Wikimedia Foundation//a'; +$wgCopyrightIcon = 'a href=//wikimediafoundation.org/' . + 'img src=//' . $wmfHostnames['bits'] . '/images/wikimedia-button.png ' . + 'srcset=' . + '//' . $wmfHostnames['bits'] . '/images/wikimedia-button-1.5x.png 1.5x, ' . + '//' . $wmfHostnames['bits'] . '/images/wikimedia-button-2x.png 2x' . + ' ' . + 'width=88 height=31 alt=Wikimedia Foundation//a'; # For Special:Cite, we only want it on wikipedia (but can't count on $site), # not on these fakers. -- To view, visit https://gerrit.wikimedia.org/r/166417 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ie3ae7808881802d1d856195ae7e7b9e62b7590d9 Gerrit-PatchSet: 2 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: Brion VIBBER br...@wikimedia.org Gerrit-Reviewer: Reedy re...@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] Add HiDPI PNG variants for 'A Wikimedia Project' logo - change (operations/mediawiki-config)
Brion VIBBER has uploaded a new change for review. https://gerrit.wikimedia.org/r/166417 Change subject: Add HiDPI PNG variants for 'A Wikimedia Project' logo .. Add HiDPI PNG variants for 'A Wikimedia Project' logo Generated from SVG on Commons: https://en.wikipedia.org/wiki/File:A_Wikimedia_project.svg and run through pngcrush. Using srcset, which should be picked up by browsers natively or through the JavaScript polyfill. Bug: 63872 Change-Id: Ie3ae7808881802d1d856195ae7e7b9e62b7590d9 --- M .gitignore A images/wikimedia-button-1.5x.png A images/wikimedia-button-2x.png M wmf-config/CommonSettings.php 4 files changed, 9 insertions(+), 1 deletion(-) git pull ssh://gerrit.wikimedia.org:29418/operations/mediawiki-config refs/changes/17/166417/1 diff --git a/.gitignore b/.gitignore index d01c255..6f298a8 100644 --- a/.gitignore +++ b/.gitignore @@ -31,6 +31,8 @@ # Exceptions: # $wgCopyrightIcon !/images/wikimedia-button.png +!/images/wikimedia-button-1.5x.png +!/images/wikimedia-button-2x.png ## Not in version control yet fonts diff --git a/images/wikimedia-button-1.5x.png b/images/wikimedia-button-1.5x.png new file mode 100644 index 000..fb1cb7d --- /dev/null +++ b/images/wikimedia-button-1.5x.png Binary files differ diff --git a/images/wikimedia-button-2x.png b/images/wikimedia-button-2x.png new file mode 100644 index 000..d3f06ea --- /dev/null +++ b/images/wikimedia-button-2x.png Binary files differ diff --git a/wmf-config/CommonSettings.php b/wmf-config/CommonSettings.php index 3b574db..22ccd6f 100644 --- a/wmf-config/CommonSettings.php +++ b/wmf-config/CommonSettings.php @@ -905,7 +905,13 @@ $wgUseHashTable = true; -$wgCopyrightIcon = 'a href=//wikimediafoundation.org/img src=//' . $wmfHostnames['bits'] . '/images/wikimedia-button.png width=88 height=31 alt=Wikimedia Foundation//a'; +$wgCopyrightIcon = 'a href=//wikimediafoundation.org/' . + 'img src=//' . $wmfHostnames['bits'] . '/images/wikimedia-button.png ' . + 'srcset=' . + '//' . $wmfHostnames['bits'] . '/images/wikimedia-button-1.5x.png 1.5x, ' . + '//' . $wmfHostnames['bits'] . '/images/wikimedia-button-2x.png 2x' . + ' ' . + 'width=88 height=31 alt=Wikimedia Foundation//a'; # For Special:Cite, we only want it on wikipedia (but can't count on $site), # not on these fakers. -- To view, visit https://gerrit.wikimedia.org/r/166417 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Ie3ae7808881802d1d856195ae7e7b9e62b7590d9 Gerrit-PatchSet: 1 Gerrit-Project: operations/mediawiki-config Gerrit-Branch: master Gerrit-Owner: Brion VIBBER br...@wikimedia.org ___ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits