ricavare nome file senza estensione

[Lupooh84]

Grazie mille!


...lo posto se serve a qualcun altro:

$file = basename(($_SERVER[PHP_SELF]),".php");