Kennt PHP seinen eigenen Dateinamen?

[Linuchs]

Moin,

im Bereich der Dokumentation ist es wichtig / wünschenswert, das Datum der letzten Bearbeitung einer Datei anzuzeigen.

Bisher mache ich das, indem ich den Namen der gleichnamigen Datei angebe:

Stand: <?=date( "d.m.Y", filemtime( "index.php" ));?>

Da aber viele Seiten aus Vorlagen kopiert werden, hätte ich gerne sowas:

Stand: <?=date( "d.m.Y", filemtime( **this** ));?>

Obwohl <?=$_SERVER['PHP_SELF']?> den erwarteten Wert /doku/themen/index.php ausgibt, kommt bei <?=date( "d.m.Y H:i", filemtime( $_SERVER['PHP_SELF'] ));?> die Fehlermeldung

Warning: filemtime(): stat failed for /doku/themen/index.php in ... on line 20

Wer kann javascriptisch nach PHPtisch übersetzen?

Gruß, Linuchs