ho risolto cosi:
codice:
if ( ! function_exists ( 'mime_content_type ' ) )
{
    function mime_content_type ( $f )
    {
        return system ( trim( 'file -bi ' . escapeshellarg ( $f ) ) ) ;
    }
}