Codice PHP:
     $pagina_corrente basename($_SERVER['PHP_SELF']);