mediawiki-extensions-Syntax.../extension.json
Kunal Mehta b5a904e2ec Require the ability to shell out in extension.json
This extension is useless if you can't shell out to pygments.

Depends-On: Iff8512530b08ef509e7ac0b6ed8fe9578ef3e2a1
Change-Id: I3ea7d82ab44516f5e202b6e6b86c1d7ec9a3b642
2019-04-13 19:25:33 +00:00

80 lines
1.8 KiB
JSON

{
"name": "SyntaxHighlight",
"version": "2.0",
"author": [
"Brion Vibber",
"Tim Starling",
"Rob Church",
"Niklas Laxström",
"Ori Livneh",
"Ed Sanders"
],
"url": "https://www.mediawiki.org/wiki/Extension:SyntaxHighlight",
"descriptionmsg": "syntaxhighlight-desc",
"license-name": "GPL-2.0-or-later",
"type": "parserhook",
"requires": {
"MediaWiki": ">= 1.33",
"platform": {
"ability-shell": true
}
},
"MessagesDirs": {
"SyntaxHighlight_GeSHi": [
"i18n"
]
},
"AutoloadClasses": {
"SyntaxHighlight": "includes/SyntaxHighlight.php",
"SyntaxHighlight_GeSHi": "includes/SyntaxHighlight.php",
"GeSHi": "includes/GeSHi.php",
"SyntaxHighlightAce": "includes/SyntaxHighlightAce.php",
"SyntaxHighlightGeSHiCompat": "includes/SyntaxHighlightGeSHiCompat.php",
"ResourceLoaderSyntaxHighlightVisualEditorModule": "includes/ResourceLoaderSyntaxHighlightVisualEditorModule.php"
},
"ResourceFileModulePaths": {
"localBasePath": "modules",
"remoteExtPath": "SyntaxHighlight_GeSHi/modules"
},
"ResourceModules": {
"ext.pygments": {
"targets": [
"desktop",
"mobile"
],
"styles": [
"pygments.generated.css",
"pygments.wrapper.css"
]
}
},
"Hooks": {
"ParserFirstCallInit": [
"SyntaxHighlight::onParserFirstCallInit"
],
"ContentGetParserOutput": [
"SyntaxHighlight::onContentGetParserOutput"
],
"ApiFormatHighlight": [
"SyntaxHighlight::onApiFormatHighlight"
],
"ResourceLoaderRegisterModules": [
"SyntaxHighlight::onResourceLoaderRegisterModules"
]
},
"SyntaxHighlightModels": {
"css": "css",
"javascript": "javascript"
},
"VisualEditorPluginModules": [
"ext.geshi.visualEditor"
],
"config": {
"PygmentizePath": false
},
"TrackingCategories": [
"syntaxhighlight-error-category"
],
"manifest_version": 1
}