diff options
| author | jenkins-bot <jenkins-bot@gerrit.wikimedia.org> | 2019-05-22 21:41:48 +0000 |
|---|---|---|
| committer | Gerrit Code Review <gerrit@wikimedia.org> | 2019-05-22 21:41:48 +0000 |
| commit | a1c74d9ca804a61e4e96784f41c18c8881bb2964 (patch) | |
| tree | 35312b09e9f7c8b11d10ac17de986b812b9ba543 /docs | |
| parent | b911029b3915f2c7970e1211cc54e8d0fc05b632 (diff) | |
| parent | 1aa819513ba34521d9ef59978c0e23a4132bcaa1 (diff) | |
| download | mediawikicore-a1c74d9ca804a61e4e96784f41c18c8881bb2964.tar.gz mediawikicore-a1c74d9ca804a61e4e96784f41c18c8881bb2964.zip | |
Merge "registration: Add development requirements to extension.json"
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/extension.schema.v1.json | 42 | ||||
| -rw-r--r-- | docs/extension.schema.v2.json | 42 |
2 files changed, 84 insertions, 0 deletions
diff --git a/docs/extension.schema.v1.json b/docs/extension.schema.v1.json index 32946d38f632..cf02f2be2c19 100644 --- a/docs/extension.schema.v1.json +++ b/docs/extension.schema.v1.json @@ -95,6 +95,48 @@ } } }, + "dev-requires": { + "type": "object", + "description": "Indicates what dependencies are required for development purposes such as running tests. This syntax may be extended in the future.", + "additionalProperties": false, + "properties": { + "MediaWiki": { + "type": "string", + "description": "Version constraint string against MediaWiki core." + }, + "platform": { + "type": "object", + "description": "Indicates version constraints against platform services.", + "additionalProperties": false, + "properties": { + "php": { + "type": "string", + "description": "Version constraint string against PHP." + }, + "ability-shell": { + "type": "boolean", + "default": false, + "description": "Whether this extension requires shell access." + } + }, + "patternProperties": { + "^ext-": { + "type": "string", + "description": "Required PHP extension.", + "enum": ["*"] + } + } + }, + "extensions": { + "type": "object", + "description": "Set of version constraint strings against specific extensions." + }, + "skins": { + "type": "object", + "description": "Set of version constraint strings against specific skins." + } + } + }, "ResourceFileModulePaths": { "type": "object", "description": "Default paths to use for all ResourceLoader file modules", diff --git a/docs/extension.schema.v2.json b/docs/extension.schema.v2.json index 42b34b7d2a94..f29f8501b021 100644 --- a/docs/extension.schema.v2.json +++ b/docs/extension.schema.v2.json @@ -102,6 +102,48 @@ } } }, + "dev-requires": { + "type": "object", + "description": "Indicates what dependencies are required for development purposes such as running tests. This syntax may be extended in the future.", + "additionalProperties": false, + "properties": { + "MediaWiki": { + "type": "string", + "description": "Version constraint string against MediaWiki core." + }, + "platform": { + "type": "object", + "description": "Indicates version constraints against platform services.", + "additionalProperties": false, + "properties": { + "php": { + "type": "string", + "description": "Version constraint string against PHP." + }, + "ability-shell": { + "type": "boolean", + "default": false, + "description": "Whether this extension requires shell access." + } + }, + "patternProperties": { + "^ext-": { + "type": "string", + "description": "Required PHP extension.", + "enum": ["*"] + } + } + }, + "extensions": { + "type": "object", + "description": "Set of version constraint strings against specific extensions." + }, + "skins": { + "type": "object", + "description": "Set of version constraint strings against specific skins." + } + } + }, "ResourceFileModulePaths": { "type": "object", "description": "Default paths to use for all ResourceLoader file modules", |