$file = $_FILES['file']['name'];
$estensione = pathinfo($file, PATHINFO_EXTENSION);

Ora hai l'estensione originale in una variabile e la puoi usare per comporre il nuovo nome.