mediawiki-extensions-PdfHan.../extension.json
Tim Starling 1e1e7ef135 Centralise configuration of Shellbox /bin/sh location
Use $wgShellboxShell, introduced for this purpose in
If41a2baada2e4e2462518c1f437af458feb29632.

Change-Id: Ic35598f26a868624a8b2e37ab064a6c0c27e392f
2024-01-19 11:36:47 +11:00

60 lines
1.1 KiB
JSON

{
"name": "PDF Handler",
"author": [
"Martin Seidel",
"Mike Połtyn"
],
"url": "https://www.mediawiki.org/wiki/Extension:PdfHandler",
"descriptionmsg": "pdf-desc",
"license-name": "GPL-2.0-or-later",
"type": "media",
"requires": {
"MediaWiki": ">= 1.42"
},
"config": {
"PdfOutputExtension": {
"value": "jpg"
},
"PdfHandlerDpi": {
"value": 150
},
"PdfPostProcessor": {
"value": "/usr/bin/convert"
},
"PdfHandlerJpegQuality": {
"value": 95
},
"PdftoText": {
"value": "/usr/bin/pdftotext"
},
"PdfProcessor": {
"value": "/usr/bin/gs"
},
"PdfInfo": {
"value": "/usr/bin/pdfinfo"
}
},
"MessagesDirs": {
"PdfHandler": [
"i18n"
]
},
"ResourceModules": {
"pdfhandler.messages": {
"messages": [
"pdf-file-page-warning",
"pdf-file-page-warning-header",
"pdf-file-page-warning-info",
"pdf-file-page-warning-footer"
]
}
},
"MediaHandlers": {
"application/pdf": "MediaWiki\\Extension\\PdfHandler\\PdfHandler"
},
"AutoloadNamespaces": {
"MediaWiki\\Extension\\PdfHandler\\": "includes/"
},
"manifest_version": 2
}