[Bug 32660] File extensions for the same file type should not allow variations of a file name (File:X.jpg, File:X.jpeg, File:X.JPG should all refer to the same file)

[bugzilla-daemon]

https://bugzilla.wikimedia.org/show_bug.cgi?id=32660

johnnymrni...@gmail.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |johnnymrni...@gmail.com

--- Comment #9 from johnnymrni...@gmail.com 2012-02-18 11:28:54 UTC ---
(In reply to comment #7)
> Yes, leaving them allows for the problem of Foo.jpg and Foo.png, which sucks,
> but happens so comparatively rarely to the problem in this bugzilla as to
> almost not be an issue. You probably could code this problem away too, but I
> don't want to ask too much.

Even if file extensions are kept in the page titles, it would be desirable to
disallow Foo.jpg/Foo.png duplication.

Also, when standardizing extensions, is the software simply going to be
replacing .Jpeg -> .jpg, or is it going to ignore the uploader and base the
extension off of the data in the file? The second would be preferable, and it
seems that MW already checks to make sure that the file is the correct
extension when it is uploaded.

-- 
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