Kézikönyv:$wgExtensionInfoMTime

Cache: $wgExtensionInfoMTime
A kiterjesztés-regisztrációs rendszer által betöltött kiterjesztések gyorsítótárának érvénytelenítési ideje.
Bevezetve:	1.25.0 (Gerrit change 166705; git #I7074b65)
Eltávolítva:	használatban
Megengedett értékek:	(integer) vagy false
Alapértelmezett érték:	false
Egyéb beállítások: Betűrendben | Funkció szerint

Részletek

A beállítással a kiterjesztés-regisztrációs rendszeren keresztüli kiterjesztés-betöltés során lehet a gyorsítótárat törölni. A beállításban ajánlott egy fájlt rögzíteni, így az érvénytelenítéshez elég az egy fájl módosítása.

Példa:

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

A változó „false” értékekor a különálló JSON-fájlok mtime értéke egyesével ellenőrzésre kerül, amely sok betöltött kiterjesztés esetén lassú lehet.