echo $begrüßung;
<?=$_SERVER["PHP_SELF"];?>
Diese Kurzschreibweise spart zwar ein wenig Tipparbeit, funktioniert aber nicht auf den PHP-Installationen, die short_open_tag ausgeschaltet haben. (z.B. weil diese mit <?xml... kollidieren.)
Sieht jemand eine Lösung oder einen Königsweg? Danke!
Ich schlage vor, zwei <input type="submit" ...> mit gleichen Namen zu nehmen. Das auswertende Script schickt dann im Bedarfsfall einen Location-Header zum Client.
Mit <button type="submit"> kann man in dem Fall nicht arbeiten, weil die IE-Implementation grob fehlerhaft ist. Ohne einen Javascript-Workaround kann man auf Serverseite nicht auswerten, welcher Button aktiviert wurde.
echo "$verabschiedung $name";