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