Codice PHP:
$file "nome del file";

if (
substr($file, -44) == ".pdf")
{
    
$file str_replace(" ""_"$file);
}
else
{
    
//Estensione sbagliata