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

Reply via email to