https://bugzilla.wikimedia.org/show_bug.cgi?id=32660
Web browser: ---
Bug #: 32660
Summary: 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)
Product: MediaWiki
Version: unspecified
Platform: All
OS/Version: All
Status: NEW
Severity: enhancement
Priority: Unprioritized
Component: Images and files
AssignedTo: [email protected]
ReportedBy: [email protected]
CC: [email protected], [email protected]
Classification: Unclassified
Please see
http://en.wikipedia.org/wiki/Wikipedia:Village_pump_(proposals)/Archive_74#Several_changes_to_file_naming
- a proposal to fix certain consistency issues with file naming. The main
points which cause unnecessary confusion are filenames which vary solely in the
file extension, but are of the same file type: File:X.jpg, File:X.jpeg,
File:X.JPG should all refer to the same file, but currently do not.
a. Multiple filetype extensions for the same filetype: As it stands, two
separate users could upload two separate images of two separate subjects as
File:TestImage.jpg and File:TestImage.jpeg. There is no reason for this.
b. Case sensitivity in filetype extensions: As it stands, and as does happen,
two separate images can be uploaded as File:TestImage.jpg and
File:TestImage.JPG. This has the potential to cause even more problems that the
above situations. There is no reason why filetype extensions should be case
sensitive.
Note: this is split off from Comment 71 of Bug 4421.
--
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
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikibugs-l