List of steps to reproduce (step by step, including full links if applicable):
- Create a CSV (comma-separated value) file (this was the file in question (link to a wiki page, not to the direct file))
- Upload the file as "Liskovets-Gallot_Riesel_even.csv"; note the target file name with a .csv extension (the local file had the same name).
What happens?:
The upload failed with the following message:
File extension ".csv" does not match the detected MIME type of the file (application/csv).
What should have happened instead?:
The file should have been uploaded successfully to the target title.
Software version (if not a Wikimedia wiki), browser information, screenshots, other information, etc.:
Server information: Prime-Wiki version page - MW 1.31.1, PHP 8.0.17
Client information: Firefox 98.0.2, Kubuntu 20.04 (also tested by me on Chromium 99, same OS, and by the wiki admin, unknown OS and browser; both resulted in the same error)
The wiki admin informed me in this forum post that he had successfully fixed the issue by modifying the MediaWiki source, and I confirm that the fix did resolve the issue on that wiki. I presume the fix went in this file, but I didn't ask him.