https://bugzilla.wikimedia.org/show_bug.cgi?id=19381
Summary: Convert user.gif in Monobook to PNG format; crush other
PNGs
Product: MediaWiki
Version: unspecified
Platform: All
OS/Version: All
Status: NEW
Keywords: easy
Severity: enhancement
Priority: Normal
Component: User interface
AssignedTo: [email protected]
ReportedBy: [email protected]
Created an attachment (id=6259)
--> (https://bugzilla.wikimedia.org/attachment.cgi?id=6259)
PNG version of user.gif
The user.gif file specified by Monobook is unnecessarily large. This PNG
version is half the size. The file should be replaced and main.css updated to
use it instead (a one-line change), along with any other GIFs hanging around
that are larger than their PNG equivalents (this is not always the case).
It might also be a good idea for someone with commit access to look into
running pngcrush on the existing PNGs in the skins directory (file icons,
buttons, logos, etc). Many appear to be slightly larger than they need to be.
Every little helps.
Ideally most skin images would be in a CSS sprite, but one thing at a time . .
.
--
Configure bugmail: https://bugzilla.wikimedia.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.
You are on the CC list for the bug.
_______________________________________________
Wikibugs-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
![[Bug 19381] New: Convert user.gif in Monobook to PNG format; crush other PNGs](/search?l=wikibugs-l@lists.wikimedia.org&q=subject:%22%5C%5BBug+19381%5C%5D+New%5C%3A+Convert+user.gif+in+Monobook+to+PNG+format%3B+crush%09other+PNGs%22&o=newest){kind=link}
