PHP Upload: file-typ herausfinden...

[Janosch]

hallo team,
ich habe ein upload mit php geschrieben. es macht nichts anderes als ein jpg auf den server hochzuladen. Klappt soweit prima. Jetzt habe ich aber folgendes problem: lädt der user statt einem bild ein pdf hoch will ich, das es in einem anderen ordner landet (z.B. download-ordner). ich muss also unterscheiden. nur wie mach ich das?

so siehts bisher aus:
if (is_uploaded_file($HTTP_POST_FILES['PIC']['tmp_name'][$i]))
   { ...
gibts sowas wie
if (is_uploaded_file (is pdf)... do whatever...?

gruesse janosch