Manual:$wgExtensionInfoMTime/ja
| キャッシュ: $wgExtensionInfoMTime | |
|---|---|
| 拡張機能登録システムが読み込んだ拡張機能のキャッシュを無効にするまでの時間。 |
|
| 導入されたバージョン: | 1.25.0 (Gerrit change 166705; git #I7074b65) |
| 除去されたバージョン: | 使用中 |
| 許容される値: | (整数) または 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.
例:
$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.