https://bugzilla.wikimedia.org/show_bug.cgi?id=30676
--- Comment #11 from Neil Kandalgaonkar <ne...@wikimedia.org> 2011-09-17 04:54:59 UTC --- Okay I did (2) without (1), which is semi-magical, but does the right thing IMO. If you added .jpg, and the extension was going to be .jpg, then it's normalized to just one. However, if you make a filename like filename.avi, and the ultimate extension is .ogg, then you get filename.avi.ogg. Maybe some people will want that to represent the original filename or whatever. -- 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