ページの最終更新日時を取得する †

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)
▲ ▼
ページ情報
[ トップ ]   [ 編集 | 凍結 | 差分 | バックアップ | 添付 | 複製 | 名前変更 | リロード ]   [ 新規 | 子ページ作成 | 一覧 | 単語検索 | 最終更新 | ヘルプ ]