jenkins-bot 079cddac7a Merge "Settings: Introduce SettingsBuilder::getInstance to avoid $wgSettings"		2022-11-17 20:22:12 +00:00
..
Cache	Settings: Remove unstable markers and mark interfaces appropriately	2022-07-11 13:32:11 +01:00
Config	Address contravariance todos	2022-11-16 13:05:19 +11:00
Source	Use short array destructuring instead of list()	2022-10-21 15:33:37 +11:00
DynamicDefaultValues.php	Move dynamic defaults into MainConfigSchema	2022-07-07 09:55:48 +10:00
LocalSettingsLoader.php	Allow LocalSettings.php to be loaded in function scope.	2022-03-28 14:10:42 +00:00
SettingsBuilder.php	Settings: Introduce SettingsBuilder::getInstance to avoid $wgSettings	2022-11-17 20:06:39 +00:00
SettingsBuilderException.php
WikiFarmSettingsLoader.php	WikiFarm: remove site detection based on domain name.	2022-05-04 22:09:06 +02:00