Hi,
menu.xml (menubaum im rohformat)
menu.php (liest menu.xml und erzeugt das menu)
index.php (holt menu.php per require)
nicht ganz - ich verzichte auf die Auslagrung der Menü-Routine und nutze für die Menüdaten auch nur selten das xml-Format - sehr praktisch finde ich das ini-Format.
freundliche Grüße
Ingo