Translations:Manual:$wgExtensionInfoMTime/6/en

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.