diff options
| author | daniel <dkinzler@wikimedia.org> | 2022-04-27 16:31:59 +0200 |
|---|---|---|
| committer | daniel <dkinzler@wikimedia.org> | 2022-05-30 21:27:09 +0200 |
| commit | 7f8e3c5360ad63db808f3c5b1065db244a94f0b4 (patch) | |
| tree | 04daa412e483f06a4fbecbca0d1f0f5fbcb9a730 /includes/Settings/Config | |
| parent | 278c3dd2300c9b458c9fc287a683fa4fbe736ec0 (diff) | |
| download | mediawikicore-7f8e3c5360ad63db808f3c5b1065db244a94f0b4.tar.gz mediawikicore-7f8e3c5360ad63db808f3c5b1065db244a94f0b4.zip | |
Docs: remove references to DefaultSettings.php
Bug: T300129
Change-Id: I1e83a0dde6235bed91d28d7d43691c6a5d979f2f
Diffstat (limited to 'includes/Settings/Config')
| -rw-r--r-- | includes/Settings/Config/ConfigSchema.php | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/includes/Settings/Config/ConfigSchema.php b/includes/Settings/Config/ConfigSchema.php index eac685a88c19..8e357c492182 100644 --- a/includes/Settings/Config/ConfigSchema.php +++ b/includes/Settings/Config/ConfigSchema.php @@ -35,7 +35,7 @@ interface ConfigSchema { public function getDefaults(): array; /** - * Check if the $key has a default values set in the schema. + * Check if the $key has a default value set in the schema. * * @param string $key * @@ -44,7 +44,7 @@ interface ConfigSchema { public function hasDefaultFor( string $key ): bool; /** - * Get default value for the $key. + * Get the default value for the $key. * For keys that do not define a default, null is assumed. * * @param string $key |