Author: mike.lifeguard+bugs

Description:
http://commons.wikimedia.org/wiki/File:CIMG2192.JPG for example:

It is a "deleted" file redirect, but it still appears to be a redirect when you visit the page. However, it doesn't actually redirect you to the target. If you undelete it, the redirect works again.

It appears that deleting file redirects is impossible.

Version: unspecified
Severity: enhancement
URL: http://commons.wikimedia.org/wiki/File:CIMG2192.JPG