... und
Es ist überhaupt kein Problem, auf die Steuerbefehle ganz zu verzichten. Jede HTML-Datei ist automatisch eine gültige PHP-Datei. Ändert man die Endung einer .html Datei in .php, gibt der PHP-Interpreter einfach nur das unveränderte HTML zurück.
im Dokument
Schade, dass in dem Dokument nicht steht, dass eine "gültige PHP-Datei" nicht immer auch als PHP-Datei verarbeitet wird.