PHP: filens navn?

Noget ala:
$file = basename($_SERVER['PHP_SELF']);
echo substr($file, 0, strrpos($file, "."));

echo preg_replace('@\..*@','',basename($_SERVER['PHP_SELF']));

Ups :D

$navn = basename($_SERVER['PHP_SELF'], '.php');

Og det står endda i manualen: http://dk.php.net/basename

*lol* Det gør det også :D
Det andet er så kun, hvis man
ikke ved hvad filen har som ext..
(det ved man nok i de fleste tilfælde)

Tak, sandbox :)

Til gengæld er mclemens' forslag mere generelt. Hvis man modificerer det lidt, kan man få det til kun at fjerne den sidste endelse:

echo preg_replace('@\..*?$@','',basename($_SERVER['PHP_SELF']));

Så den laver 'database.inc.php' om til 'database.inc'