Manuel:$wgExtensionInfoMTime

Cache: $wgExtensionInfoMTime
Temps pendant lequel le cache des extensions chargées par le système d'enregistrement des extensions n'est pas valide.
Introduit dans la version :	1.25.0 (Gerrit change 166705; git #I7074b65)
Retiré dans la version :	Encore utilisé
Valeurs autorisées :	(entier) ou false
Valeur par défaut :	false
Autres paramètres : Alphabétique | Par fonction

Détails

Lors du chargement des extensions via le système d'enregistrement des extensions, ceci peut être utilisé pour rendre le cache non valide. Une bonne idée est de mettre ceci dans un fichier et vous pouvez simplement faire un touch dessus pour invalider le cache.

Exemple :

$wgExtensionInfoMTime = filemtime( "$IP/LocalSettings.php" );

S'il vaut false, le mtime de chaque fichier JSON individuel sera vérifié, ce qui peut être lent si vous chargez un grand nombre d'extensions.