File talk:TieredDR.png
MIME not fit[edit]
Since we don't have MIME for Dia files, currently the renaming is impossible. -Mys_721tx (talk) 15:30, 3 April 2015 (UTC)
- See Meta:Proposed_page_moves#File:TieredDR.png, at least one "DIA" file exists here, and if that's wrong let's delete both files, and not invent MIME rules out of thin air per file. –Be..anyone (talk) 13:38, 4 April 2015 (UTC)
- We can delete and re-upload it to the new file name (so it fails into unknown/unknown like the other one), but MediaWiki doesn't allow cross-MIME renaming. -05:26, 5 April 2015 (UTC)
- The more we talk about it, the worse it gets, is that a reported bug with a phabricator: task number? Keeping something as PNG that clearly is no PNG, only because it can't be renamed to DIA, although another DIA exists, sounds terrible. In practice "just delete this cruft" might do, but adding a nice
{{tracked|TBD}}could be better if rename/move is no option at the moment. –Be..anyone (talk) 10:54, 6 April 2015 (UTC)- Is there a good reason to keep this (apparently) unused file? There is an SVG version (also unused), so is this file really needed? Green Giant (talk) 05:17, 25 July 2015 (UTC)
- The more we talk about it, the worse it gets, is that a reported bug with a phabricator: task number? Keeping something as PNG that clearly is no PNG, only because it can't be renamed to DIA, although another DIA exists, sounds terrible. In practice "just delete this cruft" might do, but adding a nice
- We can delete and re-upload it to the new file name (so it fails into unknown/unknown like the other one), but MediaWiki doesn't allow cross-MIME renaming. -05:26, 5 April 2015 (UTC)
