diff options
| author | lokal-profil <lokal.profil@gmail.com> | 2022-08-04 09:41:42 +0200 |
|---|---|---|
| committer | lokal-profil <lokal.profil@gmail.com> | 2022-08-04 09:42:47 +0200 |
| commit | a4520fdc3d14639aa1cb4eacc3375448121095e2 (patch) | |
| tree | c0dfff18c03c523a6b16d59a4f9e79cd9bc82f85 /includes/MainConfigNames.template | |
| parent | f7c35df36dab322e0c3728f737f85c8c04458dcb (diff) | |
| download | mediawikicore-a4520fdc3d14639aa1cb4eacc3375448121095e2.tar.gz mediawikicore-a4520fdc3d14639aa1cb4eacc3375448121095e2.zip | |
Update docstring per introduction of maintenance/generateConfigSchema.php
Bug: T314556
Change-Id: I004d8f693bb2bb10c198feddbbc1d1b50999ac73
Diffstat (limited to 'includes/MainConfigNames.template')
| -rw-r--r-- | includes/MainConfigNames.template | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/includes/MainConfigNames.template b/includes/MainConfigNames.template index 6cb76eb3b36d..3088cc1f5673 100644 --- a/includes/MainConfigNames.template +++ b/includes/MainConfigNames.template @@ -1,7 +1,7 @@ <?php /** - * This file is automatically generated using maintenance/generateConfigNames.php. - * See maintenance/generateConfigNames.php for instructions. + * This file is automatically generated using maintenance/generateConfigSchema.php. + * See maintenance/generateConfigSchema.php for instructions. * The template for this file itself is MainConfigNames.template * @file * @ingroup Config @@ -17,7 +17,7 @@ namespace MediaWiki; * to protect against typos and to make it easier to discover documentation about * the respective config setting. * - * @note this class is generated automatically by maintenance/generateConfigNames.php + * @note this class is generated automatically by maintenance/generateConfigSchema.php * @since 1.38 */ class MainConfigNames { |