<?php

//===========================================================================
// File information
//===========================================================================

function file_supported($Extension)
{
    $Types = array(

        'doc' => 'Tekst-document',
        'xls' => 'Data-formulier',
        'ppt' => 'Presentatie',
        'pps' => 'Presentatie',
        'odp' => 'Presentatie',
        'ods' => 'Data-formulier',
        'odt' => 'Tekst-document',
        'mp3' => 'MP3-media',
        'wav' => 'WAV-media',
        'wmv' => 'Windows-media',
        'mid' => 'Midi',
        'mov' => 'MOV',
        'mp4' => 'MPEG4-media',
        'avi' => 'Film-bestand',
        'mpeg' => 'MPEG-media',
        'html' => 'Website-document',
        'htm' => 'Website-document',
        'php' => 'PHP-bestand',
        'jpg' => 'Afbeelding',
        'gif' => 'Geanimeerde afbeelding',
        'png' => 'Afbeelding',
        'bmp' => 'Afbeelding',
        'psd' => 'Photoshop data-bestand',
        'exe' => 'Uitvoerbaar bestand',
        'gz' => 'Gecomprimeerd bestand',
        'tar' => 'Gecomprimeerd bestand',
        'zip' => 'Gecomprimeerd bestand',
        'rar' => 'Gecomprimeerd bestand',
        'pdf' => 'Tekst-document',
        'txt' => 'Tekst-document'

    );

    if(isset($Types[$Extension]))
    {
        return $Types[$Extension];
    }
    else
    {
        return FALSE;
    }
}

function file_extension($File)
{
    $PathInfo = pathinfo($File);

    if(file_supported($PathInfo['extension']))
    {
        return $PathInfo['extension'];
    }
    else
    {
        return "unknown";
    }
}

function file_type($File)
{
    if(file_supported(file_extension($File)))
    {
        return file_supported(file_extension($File));
    }
    else
    {
        return "Onbekend";
    }
}

?>