Удалить двойные пробелы с помощью PHP

Удалить двойные пробелы можно с помощью следующего кода:

1	while (strpos($s,' ')!==false ) { $s = str_replace(' ',' ',$s); }

или

1	ereg_replace('[ ]+',' ',$var)

или

1	preg_replace('/\s+/', ' ', $var);

это так, в мемо, для себя.