Manual:$wgExtensionInfoMTime/de-formal
From Linux Web Expert
| <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.
