[PHP-users 14889]日付のRFC822形式からUNIXタイムへの変換の仕方について

[Kentaro Yoshida]

こんばんわ。吉田です。

今回、RFC822フォーマットの「Fri, 21 Feb 2003 05:16:58 GMT」の形式を、
UNIXタイムに変換したいのですが、
マニュアルを読んだ限りでは一筋縄に行かないように思えます。

自分で考えた方法としては、
$before = "Fri, 21 Feb 2003 05:16:58 GMT"; //元のstring
$day = substr($before,5,2); //ここに 21がセットされる
$month = substr($before,8,3); //ここに Febがセットされる
$year = substr($before,12,4); //ここに 2003がセットされる
$hour = substr($before,17,2); //ここに 05がセットされる
$min = substr($before,20,2); //ここに 16がセットされる
$sec = substr($before,23,2); //ここに 58がセットされる
#$month = ・・・ //ここでFebやAprなどを数字の月に置き換え
その後にmktimeで
mktime($hour,$min,$sec,$month,$day,$year);

とする方法を考えたのですが、とても効率が悪い気がします。
さらに効率のよう方法があれば教えて頂けませんでしょうか？
よろしくお願い致します。