controllare il tipo di file immagine inviato da input...

[ntd]

La variabile $file non è impostata: manca un pezzo di programma? Ammettendo che $file fosse giusto, non lo è la chiamata a is_uploaded_file() e getimagesize(), dove includi $file in apici singoli e ne impedisci l'espansione.

Toglili:

...
if(is_uploaded_file($_FILES[$file]['tmp_name'])) {
    // Richiamo gli attributi del file da inviare attraverso la funzione getimagesize
    list($width, $height, $type, $attr) = getimagesize($_FILES[$file]['tmp_name']);
    ...