Dateiname ermitteln

Mittels $_SERVER["SCRIPT_NAME"] lässt sich der Dateiname ermitteln.

<?php

echo $_SERVER["SCRIPT_NAME"];

?>