Come posso fare una funzione che mi mette il puntino che divide le migliaia.

Tipo così:

echo formattazione('1200349');

restituisce:
1.200.349

Grazie.