Turns out we have midi files in the database under two mimetypes...
- we should look into that ;)
- we should make the player support audio/mid next to audio/midi
For point 1: these files are all uploads from before 2007
foreachwiki refreshImageMetadata.php --mediatype=AUDIO --mime=audio/mid --force
should make sure the metadata from these old midi uploads is read freshly from the original files and we should have a single mimetype