[PHP] Doppelte Leerzeichen entfernen

Enfernt doppelte bzw. mehrfache Lehrzeichen aus einer Zeichenkette.

1 2 3

<?php $string = preg_replace("/\s\s+/", " ", $string); ?>