I've been looking around in the PHP documentation for some time, but I found no way to convert a MIME type extension to a file type extension. image_type_to_extension Seems to work if the file is...