Manual:$wgExtensionInfoMTime

From mediawiki.org
Jump to navigation Jump to search
This page is a translated version of the page Manual:$wgExtensionInfoMTime and the translation is 62% complete.
Other languages:
キャッシュ: $wgExtensionInfoMTime
拡張機能登録システムが読み込んだ拡張機能のキャッシュを無効にするまでの時間。
導入されたバージョン:1.25.0 (Gerrit change 166705; git #I7074b65)
除去されたバージョン:使用中
許容される値:(整数) または false
既定値:false

詳細

When loading extensions through the extension registration system, this can be used to invalidate the cache. A good idea would be to set this to one file, you can just `touch` that one to invalidate the cache.

例:

$wgExtensionInfoMtime = filemtime( "$IP/LocalSettings.php" );

If set to false, the mtime for each individual JSON file will be checked, which can be slow if a large number of extensions are being loaded.