Eliminare spazi all'interno di una stringa

[Cocacola]

Ciao a tutti, immagino che sia banale ma non riesco proprio a trovare niente.
Con trim levo gli spazi all'inizio e alla fine, ma se devo levare gli spazi in eccesso all'interno di una stringa? Vi faccio un esempio così capirete meglio.
ho la stringa:
"ciao Giovanni"
con ben 5 spazi, e devo ottenere:
"ciao Giovanni"
con solo uno spazio.

grazie in anticipo!

[satifal]

<?php
$str = "ciao     Giovanni";
echo preg_replace("/[ ]+/", " ", $str);
?>

[drstefa]

Puoi usare un substr ricorsivo o un preg_replace. Appena ho un attimo ti scrivo.

EDIT:
Come non detto Grande Satifal

[Cocacola]

Grazie!!!
Mitici!