Togliere tutti i simboli da un numero di telefono

Non varrebbe neanche la pena di fare un post, ma può essere comodo per il futuro.

Come ripulire una stringa che contiene un numero di telefono per poter usare il numero in un servizio automatico (che non vuole spazi, simboli, etc.)

Il codice è in PHP

$number = preg_replace('/[^0-9\+]/','', $number);

(this is the PHP code to remove all simbols, spaces, etc. from a phone number, in order to send it "clean" to an authomatic processing service).