On Sun, Aug 2, 2009 at 8:20 PM, Ilmari Karonennospam@vyznev.net wrote:
Aryeh Gregor wrote:
On Sun, Aug 2, 2009 at 1:33 PM, Gregory Maxwellgmaxwell@gmail.com wrote:
In other cases the gif tends to be larger, loads slower, etc. They can be converted to PNG losslessly, so you should probably do so. What am I missing?
That a lot of people don't know the above and upload GIFs anyway, and until we can fix all users of each of these images, it would be nice to not serve the full-size file all the time. (Anyone want to make the planned transcode-on-upload infrastructure work for images too? :) )
Also, Commons alone has almost a hundred thousand existing GIF files. Converting them all to PNG would be a significant job, especially since changing the format (and thus the suffix) means that they can't just be reuploaded under the same title.
Or we just get rid of extensions all together, as mentioned in another thread.
Bryan