Author: plugwash
Description:
the current thumbnailing system while reasonable for photographic jpegs isn't a
great deal of use for anything else
furthermore the inability to replace an image with one in a different format is
a pain
furthermore the inability to rename during upload is a pain
all theese issues are to some extent intertwined
i think the real soloution involves
1: letting users select the output format (including bitdepth/jpeg quality) when
making a thumbnail
2: letting the output format for all thumbnails of a particluar image
4: stripping the file extention from uploads and storing that seperately
elsewhere (maybe a file extention on the images filesystem is needed but it
shouldn't be in the page name of the image page).
ie if we currently have a jpeg of an image and we can get hold of the file the
jpeg was made from then we can upload a lossless png for archival, tell
mediawiki its thumbnails should be jpegs and not impact its use in articles at
all (other than the marginal increase in quality)
Version: unspecified
Severity: enhancement