MIME type and file extension utilities for PHP