Operator: The Earwig (talk · contribs)
Automatic or Manually assisted: Automatic, unsupervised
Programming language(s): Python
Source code available: Available at tools:~earwig/earwigbot; see wrongmimebot_run.py
Function overview: The bot goes through a list of files whose extension does not match their MIME type, and tags them with ((rename media)).
Links to relevant discussions (where appropriate): Wikipedia:Village pump (technical)/Archive 71#Images uploaded with wrong file extension
Edit period(s): Once a week on Wednesdays
Estimated number of pages affected: 2050 edits or so on the initial run, about 15–20 every week.
Exclusion compliant (Y/N): Y
Already has a bot flag (Y/N): Y
Function details: The bot generates a report that is very similar to tools:~earwig/cgi-bin/file_extensions.py for the following MIME types:
Then, the bot adds ((rename media|correct file name|This file has an incorrect MIME type.))
to each file unless it already has ((rename media)), a redirect, ((wrongmime)), or ((nobots)). — The Earwig (talk) 18:21, 6 March 2010 (UTC)[reply]
Approved for trial (18 edits). Please provide a link to the relevant contributions and/or diffs when the trial is complete. Three of each mime type, for luck. Josh Parris 10:08, 9 March 2010 (UTC)[reply]