Re: [Wikitech-l] Hi-DPI site logo fun: patch adding $wgLogoHD option?

2015-03-10 Thread Brion Vibber
On Tue, Mar 10, 2015 at 1:56 AM, Erwin Dokter wrote: > On 10-03-2015 01:07, Matthew Flaschen wrote: > >> >> For comparison, there is also https://gerrit.wikimedia.org/r/#/c/193434/ >> . Paladox is proposing to make wgLogo SVG (will need back-compat of >> course), with wgLogoPNG as a fallback for

Re: [Wikitech-l] Hi-DPI site logo fun: patch adding $wgLogoHD option?

2015-03-10 Thread Daniel Friesen
On 2015-03-10 1:56 AM, Erwin Dokter wrote: > On 10-03-2015 01:07, Matthew Flaschen wrote: >> >> For comparison, there is also https://gerrit.wikimedia.org/r/#/c/193434/ >> . Paladox is proposing to make wgLogo SVG (will need back-compat of >> course), with wgLogoPNG as a fallback for browsers that

Re: [Wikitech-l] Hi-DPI site logo fun: patch adding $wgLogoHD option?

2015-03-10 Thread Erwin Dokter
On 10-03-2015 01:07, Matthew Flaschen wrote: For comparison, there is also https://gerrit.wikimedia.org/r/#/c/193434/ . Paladox is proposing to make wgLogo SVG (will need back-compat of course), with wgLogoPNG as a fallback for browsers that don't support SVG. Depending on the complexity of t

Re: [Wikitech-l] Hi-DPI site logo fun: patch adding $wgLogoHD option?

2015-03-09 Thread Matthew Flaschen
On 03/09/2015 05:31 PM, Brion Vibber wrote: Just checking if anybody has strong feels on https://gerrit.wikimedia.org/r/#/c/195195/ This is a patch from Isarra adding a $wgLogoHD config setting which can list URLs for 1.5x and 2x-density images to supplement $wgLogo. They get loaded in MonoBook

[Wikitech-l] Hi-DPI site logo fun: patch adding $wgLogoHD option?

2015-03-09 Thread Brion Vibber
Just checking if anybody has strong feels on https://gerrit.wikimedia.org/r/#/c/195195/ This is a patch from Isarra adding a $wgLogoHD config setting which can list URLs for 1.5x and 2x-density images to supplement $wgLogo. They get loaded in MonoBook/Vector-like skins using CSS and media queries