trovare nome del file

[cubalibre810]

Meglio una cosa tipo

$file = basename($_SERVER['PHP_SELF']);
$ext = end(explode('.', $file));
$name = basename($file, ".".$ext);