Last modified: 2014-05-10 19:29:35 UTC
It used to be possible to upload a PNG on top of a JPG. This was very convenient in preserving image histories. This is no longer possible (seems to have turned from a warning to an error). At least for administrators, this option should likely still be accessible.
Looks like a feature to me, not a bug.
Retooling this bug after IRC discussion. If we ever want to allow this again, a file-description page should be automatically moved to a new name with a correct file extension. Files in the history that do not match the current file extension would have to get an indication of this (or possibly not even be accessible, etc).
Preservation of history is the key point here. In the case of enwiki at least, unused images are often deleted, and in the case of non-free images unused images are ''supposed'' to be deleted. So having the history on the same page as the current version of an image is important. One option would be to allow administrators to rename images while ignoring file "extensions".
[x] yes please
