あるサイトのヘッダーからget_headersを使い、更新日時($modtime)を取得しました。
ex
$url='http://hogehoge.jp';
$aaa = get_headers($url, 1);
$modtime=$aaa['Last-Modified'];
変数$modtimeは以下のような文字列で返されるようですが、
Tue, 29 Sep 2009 17:14:39 GMT
これをtimestamp型に変更したいと思ってます。
開発初心者の自分ですが、ごりごりに書けば、解決しそうですが、
できれば綺麗なソースをみて、勉強したいなと思ってます。
ご回答頂ける方いましたら幸いです。
宜しくお願いいたします。
一番楽ちんな方法
<?php $time = 'Tue, 29 Sep 2009 17:14:39 GMT' ; $unixtime = strtotime($time) ;
もう少し自分でやる方法
<?php $time = 'Tue, 29 Sep 2009 17:14:39 GMT' ; preg_match('/(\d+) (\w+) (\d+) (\d+):(\d+):(\d+)/', $time, $a) ; $ma = array('Jan', 'Feb', 'Mar', 'Apr', 'May', 'Jun', 'Jul', 'Aug', 'Sep', 'Oct', 'Nov', 'Dec') ; $unixtime = gmmktime($a[4], $a[5], $a[6], array_search($a[2], $ma)+1, $a[1], $a[3]) ;
綺麗かどうかは分かりませんが。
ありがとうございます!
自分で書くより断然きれいっ、勉強になります!