Hi-DPI site logo fun: patch adding $wgLogoHD option?

Show replies by date

3557
Age (days ago)
3558
Last active (days ago)

wikitech-l@lists.wikimedia.org

4 comments
4 participants

Add to favorites Remove from favorites

tags (0)
participants (4)
  • Brion Vibber
  • Daniel Friesen
  • Erwin Dokter
  • Matthew Flaschen