C'è una funzione in php ke dato il nome di un file me lo visualizza senza l'estensione?