Manual:$wgWikiFarmSettingsExtension
From mediawiki.org
| Wiki farm: $wgWikiFarmSettingsExtension | |
|---|---|
The file extension to be used when looking up site-specific settings files in $wgWikiFarmSettingsDirectory , such as 'json' or 'yaml'. |
|
| Introduced in version: | 1.38.0 (Gerrit change 776195; git #84cb4ae0) |
| Removed in version: | Still in use |
| Allowed values: | Unspecified |
| Default value: | 'yaml' |
| Other settings: Alphabetical | By function | |
Warning Warning: EXPERIMENTAL!