Manuel:$wgCacheEpoch

From mediawiki.org
This page is a translated version of the page Manual:$wgCacheEpoch and the translation is 100% complete.
Cache: $wgCacheEpoch
Initialisez cette valeur avec l’heure actuelle pour invalider toutes les pages précédemment mises en cache.
Introduit dans la version :pre 1.1.0
Retiré dans la version :Encore utilisé
Valeurs autorisées :Date/Time string
Valeur par défaut :'20030516000000'

Détails

Initialisez cette valeur avec l’heure actuelle pour invalider toutes les pages précédemment mises en cache. Affecte la mise en cache côté client et serveur, y compris les ressources contrôlées par ResourceLoader .

Pour un copier-coller rapide, vous pouvez utiliser la ligne suivante, dont l’horodatage est généré via {{CURRENTTIMESTAMP}}:

$wgCacheEpoch = 20230604001311;

Si vous êtes sur un système de type Unix, vous pouvez obtenir la date actuelle en entrant ceci sur la ligne de commande:

date +%Y%m%d%H%M%S

Pour forcer un fichier, tel que "LocalSettings.php" à être relu lorsqu’il est touché, vous pouvez utiliser le code suivant (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__ ) ) );
Depuis la version 1.17 de MediaWiki, vous devez utiliser $wgInvalidateCacheOnLocalSettingsChange pour invalider automatiquement le cache chaque fois que "LocalSettings.php" est modifié.

Voir aussi