人力検索はてな
モバイル版を表示しています。PC版はこちら
i-mobile

PHP開発初心者です。

あるサイトのヘッダーから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型に変更したいと思ってます。
開発初心者の自分ですが、ごりごりに書けば、解決しそうですが、
できれば綺麗なソースをみて、勉強したいなと思ってます。

ご回答頂ける方いましたら幸いです。
宜しくお願いいたします。


●質問者: nnrysk
●カテゴリ:コンピュータ ウェブ制作
✍キーワード:4:3 AAA EX GMT PHP
○ 状態 :終了
└ 回答数 : 1/1件

▽最新の回答へ

1 ● GoldenDawn
●60ポイント

一番楽ちんな方法

<?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]) ;

綺麗かどうかは分かりませんが。

◎質問者からの返答

ありがとうございます!

自分で書くより断然きれいっ、勉強になります!

関連質問


●質問をもっと探す●



0.人力検索はてなトップ
8.このページを友達に紹介
9.このページの先頭へ
対応機種一覧
お問い合わせ
ヘルプ/お知らせ
ログイン
無料ユーザー登録
はてなトップ