Manual:$wgExtensionInfoMTime/de-formal

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:

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.