php　ファイルの更新日時を取得する：アーカイブ：ドラクエ10冒険・サイト運営ブログ

2018/11/22 11:14:21

php　ファイルの更新日時を取得する

cssなどでファイルを更新した際に再読み込みさせたいときありますよね
link href="https://dq10as.net/layout/css/dq10_01j.css?180430b"
たとえばこんな形でdq10_01j.css?180430bの？を付けるのですが
いい加減手動で付けるのが面倒になってきましたので自動化しましょうという話しです。

正確に言いますと宝珠のモンスター名スクリプトを更新した段階で再読み込みさせたいのでスクリプトを書いたのですが、
まぁ同じでしょう

だいたいやったことはphpマニュアルの例文通りです。
http://php.net/manual/ja/function.filemtime.php

$houju_monster_js = '/home/ひみつ/dq10as.net/public_html/layout/script/houju_monster.js';
所得したいファイルのパスを絶対パスにしておけばどのページに入れても安心ですね。

$houju_monster_js_day = date ("ymdHi", filemtime($houju_monster_js));
ymdHiは日付の表示ですが詳しくは phpマニュアルで
マニュアルの例文では
if (file_exists($～～)) {}で
丁寧にファイルが存在するか確認していますが、あること前提なので特に付けてません

これはechoの短縮です

すこし正確に書きますと私はphpでhtmlに出力する文字は(たぶん)全て配列に入れてhtmlspecialcharsで特殊文字の処理をしています
今回のファイルの日付は数字だけなので必要ありませんが、
その自分ルールに則って処理してたりします