Last modified: 2013-08-23 21:08:10 UTC

Wikimedia Bugzilla is closed!

Wikimedia migrated from Bugzilla to Phabricator. Bug reports are handled in Wikimedia Phabricator.
This static website is read-only and for historical purposes. It is not possible to log in and except for displaying bug reports and their history, links might be broken. See T55279, the corresponding Phabricator task for complete and up-to-date bug report information.
First Last Prev Next    This bug is not in your last search results.
Bug 53279 - Can't move WAV files
Can't move WAV files
Status: RESOLVED FIXED
Product: MediaWiki
Classification: Unclassified
File management (Other open bugs)
unspecified
All All
: Unprioritized normal (vote)
: ---
Assigned To: Nobody - You can work on this!
:
Depends on:
Blocks:
  Show dependency tree / graph
 
Reported: 2013-08-23 19:17 UTC by Marco
Modified: 2013-08-23 21:08 UTC (History)
5 users (show)

See Also:
Web browser: ---
Mobile Platform: ---
Assignee Huggle Beta Tester: ---

Attachments
Add an attachment (proposed patch, testcase, etc.)

Description Marco 2013-08-23 19:17:37 UTC 
Steps to reproduce:
* Goto https://commons.wikimedia.org/wiki/Special:MovePage/File:Wahwah2.wav
* Type in new name and click on "move page"

Result:
You do not have permission to move this page, for the following reason:
The new file extension does not match its type 

Expected result:
File moves
Comment 1 Gerrit Notification Bot 2013-08-23 19:44:21 UTC 
Change 80611 had a related patch set uploaded by Brian Wolff:
Add audio/wav to mime.types

https://gerrit.wikimedia.org/r/80611
Comment 2 Marco 2013-08-23 19:46:38 UTC 
Please merge https://github.com/wikimedia/mediawiki-core/pull/8
Comment 3 Marco 2013-08-23 19:49:01 UTC 
(In reply to comment #1)
> Change 80611 had a related patch set uploaded by Brian Wolff

:(

I was too slow
Comment 4 Bawolff (Brian Wolff) 2013-08-23 19:52:06 UTC 
(In reply to comment #2)
> Please merge https://github.com/wikimedia/mediawiki-core/pull/8

For the flac change, you also need to add its entry to mime.info ( See https://gerrit.wikimedia.org/r/#/c/79949/ )

----

My change is still pending, so I'm not opposed to merging yours, but I have no idea how to merge changes from github into mediawiki.
Comment 5 Gerrit Notification Bot 2013-08-23 20:42:48 UTC 
Change 80611 merged by jenkins-bot:
Add audio/wav to mime.types

https://gerrit.wikimedia.org/r/80611
Note You need to log in before you can comment on or make changes to this bug.
First Last Prev Next    This bug is not in your last search results.

Navigation
Links