*ページの最終更新日時を取得する [#o76bdc37]

file.phpのget_filetime関数で取得できる。

 // Get last-modified filetime of the page
 function get_filetime($page)

ページの更新日時からタイムゾーンのオフセット秒数(LOCALZONE)が引かれた値(GMT)を返す。

整形された日時の文字列を取得するには、func.phpのformat_date関数を使う。返される値は、LOCALZONEが足された日時となる。$parenがTRUEで"()"で囲まれる。

 // Format date string
 function format_date($val, $paren = FALSE)

//これより下は編集しないでください
#pageinfo([[:Category/PukiWiki]],2006-08-01 (火) 01:03:06,DOBON!,2006-08-01 (火) 01:03:06,DOBON!)

[ トップ ]   [ 編集 | 差分 | バックアップ | 添付 | 複製 | 名前変更 | リロード ]   [ 新規 | 子ページ作成 | 一覧 | 単語検索 | 最終更新 | ヘルプ ]