diff options
| author | Timo Tijhof <krinkle@fastmail.com> | 2021-11-18 21:56:20 +0000 |
|---|---|---|
| committer | Timo Tijhof <krinkle@fastmail.com> | 2021-11-18 21:56:20 +0000 |
| commit | e229cc12f2ba5c29b17d76723ca4eeab1205537b (patch) | |
| tree | de90efb4d6faf4abf9971257de03061a36d40f63 /includes/DefaultSettings.php | |
| parent | d45cab7c464ef09e83f9148b543bc9dfe3b8f491 (diff) | |
| download | mediawikicore-e229cc12f2ba5c29b17d76723ca4eeab1205537b.tar.gz mediawikicore-e229cc12f2ba5c29b17d76723ca4eeab1205537b.zip | |
registration: Fix typo in wgExtensionInfoMTime docs example
Change-Id: I5e580a2c798693e98ddcb94375ae8502163f7100
Diffstat (limited to 'includes/DefaultSettings.php')
| -rw-r--r-- | includes/DefaultSettings.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/includes/DefaultSettings.php b/includes/DefaultSettings.php index cb156f1860e6..3c4c650e68c2 100644 --- a/includes/DefaultSettings.php +++ b/includes/DefaultSettings.php @@ -3191,7 +3191,7 @@ $wgInvalidateCacheOnLocalSettingsChange = true; * * @par Example: * @code - * $wgExtensionInfoMtime = filemtime( "$IP/LocalSettings.php" ); + * $wgExtensionInfoMTime = filemtime( "$IP/LocalSettings.php" ); * @endcode * * If set to false, the mtime for each individual JSON file will be checked, |