nicht angemeldet
Wie konntest Du denn den PHP-Code sehen? War die Seite nicht in Ordnung?
Vermutlich meint er Grafiken, die nicht auf .gif enden, sondern auf .php.
Das sind aber auch Grafiken, wahrscheinlich Gifs. Die werden nur dynamisch mittels PHP, gd-Library und einem Font vom Server generiert.
Gruß, rob