a) Allow [...] wird deshalb unter Umständen noch nicht von allen Suchmaschinen beachtet.

Eben drum :-)

Naja, Google machts IIRC, alles andere fällt unter "es war einmal.." ;)

Browser können mit PHP-Dateien nichts anfangen? Ähm. Tja. Einen Kommentar erspare ich mir doch lieber ;)

Kennst Du einen Browser der in der Lage ist, PHP-Code auszuführen? Ich jedenfalls nicht.

Ich auch nicht, aber kennst Du einen Server, der PHP-Code an Clients ausliefert? Ich nicht. Ok, wenn sie kaputt sind, meinetwegen, aber das zählt wohl kaum.
Insofern ist das doch völlig unwichtig, ob in der robots.txt eine PHP-Datei aufgelistet wird oder nicht - die Suchmaschine bekommt doch nur die Ausgabe des PHP-Skriptes zu sehen.

Gruß,
  soenk.e