Open main menu

Kézikönyv:$wgExtensionInfoMTime

This page is a translated version of the page Manual:$wgExtensionInfoMTime and the translation is 100% complete.

Other languages:
English • ‎magyar • ‎中文 • ‎日本語
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
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.