echo $begrüßung;
würde gerne die uploads nur dann hochladen lassen, wenn der filetype pdf ist. (wie) geht das mit php?
Die Dateiendung ist nur ein Indiz auf ihren Inhalt, und kann beliebig gefälscht sein. Wenn du sicher gehen willst, solltest du eine Inhaltsprüfung vornehmen, was jedoch deutlich aufwändiger ist, auch wenn dir diese Arbeit von eingen Tools abgenommen wird: Fileinfo Functions, Mimetype Functions.
Das was dir ein Client sendet lässt sich vorab nicht prüfen. <input> kennt zwar das Attribut accept, das kann der Client jedoch ignorieren. Auch die vom Client mitgesendete Typinformation, die sich in der $_FILES-Struktur finden lässt, muss nicht korrekt sein. So wie bei allen von Clients kommenden Daten ist eine Inhaltskontrolle erst in dem weiterverarbeitenden Script endgültig sinnvoll. Alle Prüfungen, die außerhalb deines Einflussbereiches stattfinden, können umgangen werden oder ein falsches Ergebnis liefern.
Wenn du dich doch nur auf die Prüfung der Dateiendung beschränken möchtest, kannst du dir diese mit Stringfunktionen aus dem in $_FILES übergebenen Dateinamen extrahieren. Die Funktion strrchr() scheint sich dafür bestens zu eignen.
echo "$verabschiedung $name";