Hogyan tudom PHP-vel eltüntetni egy adott karakter körüli space karaktereket?

<?php

$phrase =

"php: Heló, világ!<br>"

."php :Heló, világ!<br>"

."php : Heló, világ!<br>";

$patterns = array(": ", " :");

$i = 0;

do {

$prevphrase = $phrase;

$phrase = str_replace($patterns, ":", $phrase);

} while ($phrase != $prevphrase);

echo $phrase; // php:Heló, világ!<br>php:Heló, világ!<br>php:Heló, világ!<br>

?>

Ezt gugliba is beírhattad volna, első találat:

$string = "php : Heló, világ! ";

$string = preg_replace("/\s*([\/:])\s*/", "$1", $string);

Forrás: [link]

Az első válasz 5%-al gyorsabb ha csak 1db space van, utána spacenként sokszorozódik a szükséges számítási idő, míg preg_replace-nél mindig ugyanannyi.

Tehát nagyon fapados megoldás a do{}while.