あ、/\dになってる。正しくは\dね。

>>327
全角数字を半角置換するのにURLエンコードを用いるのが適切かどーか、は置いといて
[０-９]で引っ掛けて、URLエンコードして、
%EF%BC%9を削除、で半角数字が残る。

俺も、たまたまURLエンコードを思い付いただけの素人なので、最適な手法は分からん。