Manual:$wgExtensionInfoMTime/de-formal

The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

<translate> Cache</translate>: $wgExtensionInfoMTime
Time to invalidate cache of extensions loaded by the extension registration system.
<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) or false
<translate> Default value:</translate>	`false`
<translate> Other settings:</translate> <translate> Alphabetical</translate> \| <translate> By function</translate>

Details

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.