[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)
https://bugzilla.wikimedia.org/show_bug.cgi?id=32660 Jesús Martínez Novo (Ciencia Al Poder) changed: What|Removed |Added See Also||https://bugzilla.wikimedia. ||org/show_bug.cgi?id=4421, ||https://bugzilla.wikimedia. ||org/show_bug.cgi?id=40479 -- 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
[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)
https://bugzilla.wikimedia.org/show_bug.cgi?id=32660 Andre Klapper changed: What|Removed |Added Priority|High|Normal -- 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
[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)
https://bugzilla.wikimedia.org/show_bug.cgi?id=32660 --- Comment #12 from johnnymrni...@gmail.com 2012-09-24 16:44:11 UTC --- I'm breaking the upload fix into a separate bug Bug 40479 "File extensions should be automatically decided by MIME type at upload". This will help with future issues, but will not fix any existing ones. -- 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
[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)
https://bugzilla.wikimedia.org/show_bug.cgi?id=32660 --- Comment #11 from johnnymrni...@gmail.com 2012-02-18 23:17:30 UTC --- (In reply to comment #10) > I was thinking the second one too. The issue with the first one is if the > software goes around replacing all cases of .jpeg with .jpg, it is going to > have to find some way to deal with the existing naming conflicts, and I don't > see how the software would do that without creating a mess. > > Sven The easiest fix I could see is that the software wouldn't need to replace anything except at the time of upload. If something called Foo.PIC is uploaded and the software sees that it is a JPEG, it is named Foo.jpg. Then no other image is allowed to be uploaded at Foo.***. So the software is actually renaming the images to the normalized titles before they are fully uploaded. The software wouldn't touch existing files, and existing conflicts would be allowed. The only thing changed would be the file uploader and file moving. This would NOT fix the problem, but it would be an easier stop-gap. .JpeG and .JPG would still be allowed by the architecture, just no more would be created. -- 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
[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)
https://bugzilla.wikimedia.org/show_bug.cgi?id=32660 --- Comment #10 from Sven Manguard 2012-02-18 17:36:43 UTC --- I was thinking the second one too. The issue with the first one is if the software goes around replacing all cases of .jpeg with .jpg, it is going to have to find some way to deal with the existing naming conflicts, and I don't see how the software would do that without creating a mess. Sven -- 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
[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)
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
[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)
https://bugzilla.wikimedia.org/show_bug.cgi?id=32660 Peter Bena changed: What|Removed |Added Priority|Unprioritized |High CC||benap...@gmail.com --- Comment #8 from Peter Bena 2011-12-03 13:27:49 UTC --- *bump* there seem to be consensus on enwiki for this, I guess it would be best if it was implemented as core features either something like option for strict (case sensitive file extensions + check for redundancy of JPEG, JPG etc.) and option for redundant files (files with same name but different extension, however before it could be enabled there would be need to clean up existing files) what do you think? Is it good idea or not? Another idea: Make options for upload form so that existing files would be kept but upload form would not allow upload of files which are not matching new criteria -- 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
[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)
https://bugzilla.wikimedia.org/show_bug.cgi?id=32660 --- Comment #7 from Sven Manguard 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
[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)
https://bugzilla.wikimedia.org/show_bug.cgi?id=32660 --- Comment #6 from Brion Vibber 2011-11-27 04:03:48 UTC --- See also bug 29284 which has an old patch, looks like it only covers one tiny case and would need more thorough work. Although I would prefer going fully to bug 4421 (don't include extensions on the user-accessible filenames at all; probably normalize extensions on the actual files) normalizing on upload when not grandfathering an update to an existing file would be a step in the right direction. -- 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
[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)
https://bugzilla.wikimedia.org/show_bug.cgi?id=32660 --- Comment #5 from Sven Manguard 2011-11-27 03:05:01 UTC --- (In reply to comment #3) > (In reply to comment #2) > > Thanks. A few technical issues to resolve: > > > > 1) If this is implemented, will it be implemented for all projects or just > > for > > English Wikipedia at first? > > Depends on the implantation, but I would imagine this would apply to all > projects. This doesn't sound like something that a config option would be > appropriate for. > > > 2) Will there be a grandfather clause built into the change, so that only > > files > > uploaded after the change is made will be effected, or will there be no > > grandfather clause? > > It's unlikely we would fix this is a non-backwards compatible way. MediaWiki > is > not just used by Wikimedia folks. We also have to make sure this doesn't break > files on non-Wikimedia wikis where they wouldn't be aware of the change. In all honestly, as long as the answer to 2 was "yes there will be a grandfather clause", the answer to 1 could be anything at all and it would be fine. (The vice versa is true as well; as long as it only applies to English Wikipedia, we don't need to grandfather things in, because I can get the old instances fixed, and other projects can do the same when they fix their issues.) I'm going to start working on the English Wikipedia LDFNs again. If you give me an expected date for this task to be completed, I can rouse others right before that comes up. -- 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
[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)
https://bugzilla.wikimedia.org/show_bug.cgi?id=32660 --- Comment #4 from Bryan Tong Minh 2011-11-26 20:35:08 UTC --- (In reply to comment #3) > *When linking/looking at/whatever for a file named Bar.JpEG, MediaWiki first > checks to see if Bar.JpEg exists, and if not assumes you meant Bar.jpg and > uses > that instead. [This part might be a little more tricky. Have to check to make > sure that code doesn't assume that if a file is returned it matches the > requested name] That would normally work; the same happens with redirects. -- 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
[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)
https://bugzilla.wikimedia.org/show_bug.cgi?id=32660 --- Comment #3 from Bawolff 2011-11-26 19:01:26 UTC --- (In reply to comment #2) > Thanks. A few technical issues to resolve: > > 1) If this is implemented, will it be implemented for all projects or just for > English Wikipedia at first? Depends on the implantation, but I would imagine this would apply to all projects. This doesn't sound like something that a config option would be appropriate for. > 2) Will there be a grandfather clause built into the change, so that only > files > uploaded after the change is made will be effected, or will there be no > grandfather clause? It's unlikely we would fix this is a non-backwards compatible way. MediaWiki is not just used by Wikimedia folks. We also have to make sure this doesn't break files on non-Wikimedia wikis where they wouldn't be aware of the change. My idea on how to implement this would be (This is off the top of my head, I haven't really looked into the issues involved) *When uploading new files. The file extension is normalized (If you try to upload Foo.JPeG in gets saved as Foo.jpg). [This part should be easy] *When linking/looking at/whatever for a file named Bar.JpEG, MediaWiki first checks to see if Bar.JpEg exists, and if not assumes you meant Bar.jpg and uses that instead. [This part might be a little more tricky. Have to check to make sure that code doesn't assume that if a file is returned it matches the requested name] -- 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
[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)
https://bugzilla.wikimedia.org/show_bug.cgi?id=32660 Sven Manguard changed: What|Removed |Added CC||svenmangu...@gmail.com --- Comment #2 from Sven Manguard 2011-11-26 18:05:16 UTC --- Thanks. A few technical issues to resolve: 1) If this is implemented, will it be implemented for all projects or just for English Wikipedia at first? 2) Will there be a grandfather clause built into the change, so that only files uploaded after the change is made will be effected, or will there be no grandfather clause? My preference would be to start with only English Wikipedia, because I have no way of getting the message to the other projects, and to grandfather old files in, because while they'll get taken care of anyways (see below), I don't want to risk things breaking. I'll note that a big push happened a few months back to try to knock out, on the English Wikipedia at least, all instances of 'largely duplicitive file names', which is what this issue has become known by. It's been moderately successful, but a few hundred remain, in part because there was no need to do it, and there are so very many other things that need doing in the namespace. If there's any chance that this is going to get worked on soon, please post it here, and I'll spread the word to the people that worked on the first effort. We can get the number of instances down to zero in a few days or weeks. (Irregardless of if its needed or not, we'll still do it once this thread starts seeing action from devs, because it's the excuse we need to fix the damned problem.) -- 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
[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)
https://bugzilla.wikimedia.org/show_bug.cgi?id=32660 --- Comment #1 from Rd232 2011-11-26 16:41:55 UTC --- Just found Bug 12992 - Add new setting option switch whether case-sensitive or case-insensitive upload file extension name checking. That has a patch from 2008, but no recent activity. -- 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
