Bhasa Jojalapa!
Was auch nicht so schlimm wäre, weil ich da 2 Möglichkeiten hätte:
a - Mein HTML-Texteditor (PHase5) könnte das mit sogenannten
Includes selbst machen.
b - Da die Navi ja auf allen Seiten excat gleich ist,
könnte man das auch mit einem Suchen-und-Ersetzen Tool machen.
Auch das kann mein HTML-Texteditor (Phase5).
In beiden Fällen mußt Du aber alle geänderten Dateien hochladen. Und da ja eh schon ein Script auf dem Server läuft, kann das auch gleich die ganze Arbeit machen. ;-)
Wenn Du z.B. den PHP-Befehl require 'navi.htm'
verwendest, mußt Du bei einer Navi-Änderung nur noch navi.htm ändern und hochladen.
Ist es eigenlich Sinnvoll, dafür einen PHP-Server (heiist das so?)
auf seinem rechner zu installieren, damit das dann auch gleich hier
lokal geparst wird?
Oder wäre das eher etwas oversized?
Das kommt nicht zuletzt darauf an, was Du noch so alles mit PHP anstellen willst. ;-)
Viele Grüße vom Længlich