subject:"\[Bug 34703\] Unable to change file extension while uploading file"

[Bug 34703] Unable to change file extension while uploading file

2012-12-22 Thread bugzilla-daemon

https://bugzilla.wikimedia.org/show_bug.cgi?id=34703 --- Comment #8 from Marek Blahuš --- I have pointed to a related problem like Marcin Cieślak (my camera generates .JPG files and UW does not allow me to normalize this to .jpg) in bug 40326. That bug, however, is receiving a treatment somewhat

[Bug 34703] Unable to change file extension while uploading file

2012-12-22 Thread bugzilla-daemon

https://bugzilla.wikimedia.org/show_bug.cgi?id=34703 Marek Blahuš changed: What|Removed |Added CC||wikipe...@blahus.cz -- You are receivi

[Bug 34703] Unable to change file extension while uploading file

2012-08-07 Thread bugzilla-daemon

https://bugzilla.wikimedia.org/show_bug.cgi?id=34703 --- Comment #7 from Mark Holmquist 2012-08-07 20:13:15 UTC --- I don't understand what any of that has to do with this. The solution I just suggested would not affect anything like what files you could/couldn't upload, it would just be "if th

[Bug 34703] Unable to change file extension while uploading file

2012-08-07 Thread bugzilla-daemon

https://bugzilla.wikimedia.org/show_bug.cgi?id=34703 --- Comment #6 from Marcin Cieślak 2012-08-07 20:08:30 UTC --- We already have http://www.mediawiki.org/wiki/Manual:$wgFileExtensions plus we have also a pretty complex MIME/content type detection mechanism (see also http://www.mediawiki.org/w

[Bug 34703] Unable to change file extension while uploading file

2012-08-07 Thread bugzilla-daemon

https://bugzilla.wikimedia.org/show_bug.cgi?id=34703 --- Comment #5 from Mark Holmquist 2012-08-07 19:51:51 UTC --- Hm. A big concern of mine is that less-experienced users might see an error message like "incompatible filetype" and not know what to do. For those users, it would almost certainly

[Bug 34703] Unable to change file extension while uploading file

2012-08-07 Thread bugzilla-daemon

https://bugzilla.wikimedia.org/show_bug.cgi?id=34703 --- Comment #4 from Marcin Cieślak 2012-08-07 19:47:34 UTC --- Thanks for taking this up. I would say the dropdown is an overkill. Maybe just extension added at the end of the filename with the dot. However, it might be difficult to determin

[Bug 34703] Unable to change file extension while uploading file

2012-08-06 Thread bugzilla-daemon

https://bugzilla.wikimedia.org/show_bug.cgi?id=34703 --- Comment #3 from Mark Holmquist 2012-08-06 16:38:14 UTC --- OK, that makes some sense. So maybe having arrays of names that are compatible with each other, then offering to switch between them (dropdown after the filename field?) during the