echo $begrüßung;
genauergesagt ist es eine kurzschreibweise für array_push
Nein, das ist es nicht. array_push() ist eine Funktion, mit der ein oder mehrere Werte an ein Array angefügt werden können. $foo[] ist eher eine spezielle Form des Array-Zugriffs. Außerdem ist der Aufruf einer Funktion aufwendiger als das Array mit [] oder ['expliziter_key'] zu erweitern
echo "$verabschiedung $name";