Manual:$wgCacheEpoch/ja
From MediaWiki.org
| Cache: $wgCacheEpoch | |
|---|---|
| 設定した時間以前のページキャッシュすべてを無効にする。 |
|
| Introduced in version: | pre 1.1.0 |
| Removed in version: | still in use |
| Allowed values: | Date/Time string |
| Default value: | '20030516000000' |
Other settings: Alphabetical | By Function
[edit] 詳細
これまでのページキャッシュすべての無効にするには、現在の時刻を設定します。クライアントサイドのキャッシュとサーバサイドのキャッシュ両方に働きます。
ウィキで{{CURRENTTIMESTAMP}}と書けば時刻が出ますから、コピーアンドペーストして使えます (20120525070653になるので)。
Linuxを使っているのなら、コマンドラインで次のように入力すれば現在時刻を得られます。
date +%Y%m%d%H%M%S
これまでのページキャッシュを無効にする方法としてはほかに、LocalSetting.phpの更新時刻を期限とするやりかたもあります。次の行をLocalSettings.phpに加えておくのです。
$wgCacheEpoch = gmdate( 'YmdHis', @filemtime( __FILE__ ) );
