diff options
| author | daniel <dkinzler@wikimedia.org> | 2022-07-11 18:02:43 +0200 |
|---|---|---|
| committer | daniel <dkinzler@wikimedia.org> | 2022-07-15 12:24:20 +0200 |
| commit | cf39a40f164799ffed328a5b8d7a42823441f507 (patch) | |
| tree | 854ebe8dbf0ad068beda2f7306c6b87a406bc040 /includes/config-vars.php | |
| parent | b19a8272953eeb6464350cc3c09284840c787faf (diff) | |
| download | mediawikicore-cf39a40f164799ffed328a5b8d7a42823441f507.tar.gz mediawikicore-cf39a40f164799ffed328a5b8d7a42823441f507.zip | |
SettingsBuilder: report warnings
This adds functionality to SettingsBuilder for collecting warnings to be
logged later, when the logging mechanism has been set up.
This also adds a validation step to update.php that aborts the update
if any warnings have been registered in SettingsBuilder, or the settings
fail to validate against the settings schema.
Change-Id: I387905289fb93591f79b96bf4c6cb5ec692b2aff
Diffstat (limited to 'includes/config-vars.php')
| -rw-r--r-- | includes/config-vars.php | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/includes/config-vars.php b/includes/config-vars.php index 9b7200b2b8fb..34b101c27a2b 100644 --- a/includes/config-vars.php +++ b/includes/config-vars.php @@ -1778,7 +1778,6 @@ $wgExtraLanguageCodes = null; /** * Config variable stub for the DummyLanguageCodes setting, for use by phpdoc and IDEs. * @see MediaWiki\MainConfigSchema::DummyLanguageCodes - * @deprecated since 1.29 */ $wgDummyLanguageCodes = null; |