手册:$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 25% complete.
Other languages:
English • ‎magyar • ‎中文 • ‎日本語
缓存: $wgExtensionInfoMTime
Time to invalidate cache of extensions loaded by the extension registration system.
引进版本:1.25.0
移除版本:仍在使用
允许的值:(integer) or 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.

Example:

$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.