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.