Manual:$wgExtensionInfoMTime/hu
| 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.