Oder alternativ kannst du auch dem Webserver sagen er soll Dateien
die auf ".html" enden mit PHP parst.
In diesem Fall musst du nur ein paar Buchstaben ändern und bist
glücklich:-)
Naja, das geht zwar auch, aber kommt doch eher ein klein wenig einem Overkill gleich :)
Ich muß doch nicht jede HTML-Datei durch den PHP-Parser jagen. Kostet den Hoster Serverzeit und insbesondere den Leser Übertragungszeit, weil unter Umständen jede Datei neu geladen wird (PHP=dynamischer Inhalt, also immer was neues, also immer neu laden) anstatt sie schnell aus dem Browser-Cache zu holen.
Gruß,
soenk.e