diff options
| author | Philipp Spitzer <philipp@spitzer.priv.at> | 2023-07-28 23:08:44 +0200 |
|---|---|---|
| committer | Philipp Spitzer <philipp@spitzer.priv.at> | 2023-07-28 23:19:42 +0200 |
| commit | 8aaef348074f06b425e21ce2dcf652cf48b3531d (patch) | |
| tree | cf2e6f6b0b95e8c16dbcdc0f906f811ef08f2e9e /docs | |
| parent | 5b6e6a2b5644456ef055ec252672865edc4e6c18 (diff) | |
| download | mediawikicore-8aaef348074f06b425e21ce2dcf652cf48b3531d.tar.gz mediawikicore-8aaef348074f06b425e21ce2dcf652cf48b3531d.zip | |
doc: Improve description of "type" in extension.schema.v2.json
The current documentation is referring to the deprecated $wgExtensionCredits
extension.schema.v2.json and additional it is confusing, if not wrong.
Change-Id: Ie361bcf2f3fe874c33a29bbd8e9e9540e0e2d972
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/extension.schema.v2.json | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/docs/extension.schema.v2.json b/docs/extension.schema.v2.json index 324fbb22d03a..77d08c342132 100644 --- a/docs/extension.schema.v2.json +++ b/docs/extension.schema.v2.json @@ -96,7 +96,20 @@ }, "type": { "type": "string", - "description": "The extension's type, as an index to $wgExtensionCredits.", + "description": "The extension's type.", + "examples": [ + "api", + "antispam", + "editor", + "media", + "parserhook", + "semantic", + "skin", + "specialpage", + "variable", + "wikibase", + "other" + ], "default": "other" }, "author": { |