[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

--- Comment #7 from Sven Manguard <svenmangu...@gmail.com> 2011-11-27 12:48:08 
UTC ---
The reason why I personally like the extensions, even though this isn't really
much of a reason all things considered, is that it's the fastest way to tell
what type of file I've got on my hands when I'm working. When I've got a
bulleted list of files and no thumbnails, it's really the only way to tell,
save clicking on each individual item. (This comes to mind since I work in the
non-free file size reduction requests queue when the bot goes down, and the
extensions allow me to pick up which ones are sound files very quickly.)

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.

I guess what I'm saying (yes, I know I'm very TLDR) is that there are valid
reasons, at least for the file maintenance people, to keep the extensions in.
Not great reasons, but reasons none-the-less.

It's your call. Either fix will be an improvement, and if we eliminate file
extensions from public view, I can always ask a local to create a user script
that makes it easier for me to tell the file type myself.

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