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
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