quella del codice javascript è un'espressione regolare, puoi usarle anche con php usando la funzione preg_replace

ciao