mi sono fatto questa funzione, fatemi sapere se cene sono di gia fatte o se avete commenti/migliorie da proporre

Codice PHP:
function clean_space($string){

  
$arr=explode(" ",$string);

  
$res="";

  for(
$i=0;$i<sizeof($arr);$i++){
    if(
strlen($arr[$i])>0){
      
$res.=($arr[$i]." ");
    }
  }


  return 
$res;