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-schema.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-schema.php')
| -rw-r--r-- | includes/config-schema.php | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/includes/config-schema.php b/includes/config-schema.php index ef4e72a30dbd..13eae4658687 100644 --- a/includes/config-schema.php +++ b/includes/config-schema.php @@ -3137,9 +3137,6 @@ return [ 'SquidPurgeUseHostHeader' => [ 'deprecated' => 'since 1.33', ], - 'DummyLanguageCodes' => [ - 'deprecated' => 'since 1.29', - ], 'RawHtmlMessages' => [ 'items' => [ 'type' => 'string', |