Spazi di troppo nelle stringhe

[greystone]

Puoi usare una regexp ma non solo.

<?php
$str0 = "";
$str1 = "Oggi   è     una         brutta giornata";
print "Prima : $str1<br/>";
while ($str0 <> $str1) {
    $str0 = $str1;
    $str1 = str_replace('  ',' ',$str1);
}

print "Dopo : $str1<br/>";
?>

Grazie badaze !! Carino questo algoritmo!! Non l'ho provato ma credo che funzioni (anche se penso che per <> intendevi !=).
Se mi ci mettevo può darsi che ci arrivavo anche io a farlo....ma volevo sapere se c'è una espressione regolare da utilizzare in merito. Credo sia più elegante o no?