Manual:$wgCacheEpoch
| キャッシュ: $wgCacheEpoch | |
|---|---|
| これに現在時刻を設定すると、以前にキャッシュされたページがすべて無効になる。 |
|
| 導入されたバージョン: | pre 1.1.0 |
| 除去されたバージョン: | 使用中 |
| 許容される値: | Date/Time string |
| 既定値: | '20030516000000' |
| その他の設定: アルファベット順 | 機能順 | |
詳細
これに現在時刻を設定すると、以前にキャッシュされたページがすべて無効になります。 Affects both client- and server-side caching, including assets controlled by the ResourceLoader.
For a quick copy-paste you can use the following line, whose timestamp is generated via {{CURRENTTIMESTAMP}}:
$wgCacheEpoch = 20220522170100;
If you are using a Unix-like system you can get the current date by entering the following on the command-line:
date +%Y%m%d%H%M%S
To force a file, such as "LocalSettings.php" to be re-read when touched, you can use the following code (MW < 1.17):
# When you make changes to this configuration file, this will make sure that cached pages are cleared.
$wgCacheEpoch = max( $wgCacheEpoch, gmdate( 'YmdHis', @filemtime( __FILE__ ) ) );
Since version 1.17 of MediaWiki, you should use $wgInvalidateCacheOnLocalSettingsChange to automatically invalidate cache whenever "LocalSettings.php" is modified.