https://bugzilla.wikimedia.org/show_bug.cgi?id=4421
Mike.lifeguard <mike.lifegu...@gmail.com> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |mike.lifegu...@gmail.com
--- Comment #47 from Mike.lifeguard <mike.lifegu...@gmail.com> 2010-03-31
22:52:54 UTC ---
(In reply to comment #45)
> stripping the file extensions feels wrong. A JPG simply
> isn't the same as a GIF or a PNG or an SVG. Even users who are only adding the
> file inclusion code to pages need to understand and appreciate that.
I agree completely here. We often upload different formats of the same image
for differing purposes, and change only the file extension. The reason for that
is it *does* matter which one you use!
(In reply to comment #5)
> Okay, well, the main reason I proposed it is that it basically prevents a
> replacement image in a different format from being uploaded.
That's a good thing. The replacement image with a different format is a
different image. Any good Commoner knows that an image of a given format can
never be superseded by an image in another format on that basis alone. This is
a feature, not a bug.
--
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
Wikibugs-l@lists.wikimedia.org
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l
