Manual:$wgWikiFarmSettingsExtension
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 |