Jump to content

Kézikönyv:$wgExtensionInfoMTime

From mediawiki.org
This page is a translated version of the page Manual:$wgExtensionInfoMTime and the translation is 100% complete.
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

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.