Manual:$wgExtensionInfoMTime/hu
From Linux Web Expert
| <translate> Cache</translate>: $wgExtensionInfoMTime | |
|---|---|
| A kiterjesztés-regisztrációs rendszer által betöltött kiterjesztések gyorsítótárának érvénytelenítési ideje. |
|
| <translate> Introduced in version:</translate> | 1.25.0 (Gerrit change 166705; git #I7074b65) |
| <translate> Removed in version:</translate> | <translate> still in use</translate> |
| <translate> Allowed values:</translate> | (integer) vagy false |
| <translate> Default value:</translate> | false |
| <translate> Other settings:</translate> <translate> Alphabetical</translate> | <translate> By function</translate> | |
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.
