https://bugzilla.wikimedia.org/show_bug.cgi?id=30676

--- Comment #9 from Neil Kandalgaonkar <[email protected]> 2011-09-15 
20:25:23 UTC ---
This was noted by some previous testers (who were familiar with MediaWiki
already).

Probably the right answer is twofold:

1) add the extension to the interface, in non-editable text at the right end of
the title input.

2) silently remove an extension in the filename, if it matches the existing
extension case-insensitively.

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

Reply via email to