Eliminare singolo carattere da una stringa

[jarmania]

Ciao a tutti!
Avrei necessità di eliminare solamente un carattere all'interno di una stringa, fin qui tutto ok utilizzando str_replace ma ho un problema quando nella stringa che devo eliminare un carattere ci sono caratteri ripetuti, faccio un esempio che è meglio!
Esempio:

$stringa = "12,12,12,1,1,3,3,7,8,8"; //Questa è la stringa

$test = str_replace("12,","", $stringa); 

Facendo cosi, la variabile $test mi restituisce la stringa di sopra ma senza tutti i "12" nella stringa quando io avrei necessità di eliminarne solamente una. Qualche consiglio su come fare?

[alemoppo]

Vedi qui: https://stackoverflow.com/questions/...he-first-match

$stringa = "12,12,12,1,1,3,3,7,8,8"; //Questa è la stringa 


function str_replace_first($from, $to, $content)
{
    $from = '/'.preg_quote($from, '/').'/';

    return preg_replace($from, $to, $content, 1);
}

$test = str_replace_first("12,", "", $stringa); 

Ciao!

[jarmania]

Funziona, grazie mille!