ctype_digitの仕様にハマる。 (Nega Diary)

開発環境ではうまくいってる処理が、実機ではうまくいかない。 ・・・ということに、公開ギリギリまで気付かず、発見した際にはめちゃくちゃ焦った。心臓バックバクであった。 早速調べて、原因が分かったので恥ずかし下もなく晒す。 開発環境がPHP5で、実際のサーバがPHP4だけれど、まぁ、固有の処理はしてないので大丈夫だろうとおもったら、実に意外なところでハマる。 ctype_digit()の動作が、PHPのバージョンによって変わっていたのである。 PHP 5.1.4の場合、