PHP从数字字符串中删除逗号

未经测试，但可能类似

if(preg_match("/^[0-9,]+$/", $a)) $a = str_replace(...)