Dateityp von hochgeladenen Dateien auslesen

if($_FILES["file"]["name"]!="") //Wurde ein Bild überhaupt ausgewählt?  
	{
	// Variabeln festlegen für Bild-Upload
	$allowed_types = "(jpg|jpeg|gif)"; //Erlaubte Endungen des Bildes  
	$name=$_FILES["file"]["name"]; //Bildname (beispiel.jpg) in Variable $bildname zuweisen  
	$name=str_ireplace(' ', "_", $name); //Leerzeichen werden durch _ ersetzt  

	// Existiert das Bild schon auf dem Server?
	if(file_exists("PFAD/$name"))  
		{
		echo "<h2><b>Der Dateiname des gewünschten Bildes ist bereits vorhanden,  
Sie müssen den Bildnamen umbenennen!</b></h2>"; //Ausgabe der Fehlermeldung  
		}
	else //Andernfalls, wenn das Bild auf dem Server nicht existiert
		{
		// Wurde wirklich eine Datei hochgeladen?
		if(is_uploaded_file($_FILES["file"]["tmp_name"]))  
			{
			// Gültige Endung? ($ = Am Ende des Dateinamens) (/i = Groß- Kleinschreibung nicht berücksichtigen)
			if(preg_match("/\." . $allowed_types . "$/i", $_FILES["file"]["name"]))  
				{
				ECHO "DATEI OK"  
				}
			else //Datei ungültige Endung
				{
				echo "<h2><b>Die Datei besitzt eine ungültige Endung.</b></h2>";  
				}
			}
		else //Keine Datei angegeben
			{
			echo "<h2><b>Keine Datei zum Hochladen angegeben.</b></h2>";  
			}

		}
	}