$filename = $GLOBALS["SCRIPT_FILENAME"]; if (file_exists($filename)) { echo "pagina aggiornata il " . date("d/m/Y", filemtime($filename)); } ?>