Manual:$wgCacheEpoch
キャッシュ: $wgCacheEpoch | |
---|---|
Set this to current time to invalidate all prior cached pages. |
|
導入されたバージョン: | pre 1.1.0 |
除去されたバージョン: | 使用中 |
許容される値: | Date/Time string |
既定値: | '20030516000000' |
その他の設定: アルファベット順 | 機能順 |
詳細
Set this to current time to invalidate all prior cached pages. Affects both client- and server-side caching, including assets controlled by the ResourceLoader.
For a quick copy-paste you can use the following line, which was generated using {{CURRENTTIMESTAMP}}
:
$wgCacheEpoch = 20191208203024;
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.