Regex: Remove Double Spacing

Example given in PHP, but since its regex it could be applied to other languages too.

$cleaned = preg_replace('/\s+/', ' ', $input);

This changes any double (or triple, quadrupal, etc) spacing into a single space.