Originariamente inviato da sea_green
io userei str_replace

$c=str_replace($b, '', $a)

comunque qui trovi molti altre funzioni relative alle stringhe http://php.html.it/guide/lezione/265...e-le-stringhe/
Non funziona, restituirebbe
1,5,42
che è sbagliato.