nicht angemeldet
Wie bekomme ich mit PHP denn bestmöglichst den MIMI-Typ einer Datei heraus? Ich weiß, dass ich mit getimagesize() den Mime-Typ von Bilddateien serviert bekomme, aber nicht für andere Formate.
Ich will nun für ein kleines Programm nur PDF-Dokumente erlauben, mich aber ungerne auf die Dateiendung der Nutzereingabe verlassen, ebenswo wenig auf den nutzergeseteuerten $_FILES-Array. Was bleibt mir da übrig?
Danke für Hilfe!
Der Martin