Dateiname gerade aufgerufener Datei

[Andreas Görtz]

Hi,

$file = basename($_SERVER['PHP_SELF']);
echo $file;

gibt den Dateinamen mit Endung doppelt aus.

das Problem kann ich nicht nachvollziehen - bei mir funktioniert es so.

Gruß,
Andreas.