wikimedia/mediawiki-extensions-PdfHandler
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/PdfHandler synced 2024-11-28 02:00:37 +00:00
Code Issues Packages Projects Releases Wiki Activity

Bump requirement to MW 1.25+

Browse source 
Due to If4044c38756f96d123cea105312a1863d8b17053

Change-Id: I28f703942e7f6aef15f65680b9f6c6c21f1c1741
This commit is contained in:
addshore 2017-01-06 14:40:45 +00:00
parent aefde7909b
commit 96709fa847
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
extension.json
View file

@ -8,6 +8,9 @@
"descriptionmsg": "pdf-desc", "descriptionmsg": "pdf-desc",
"license-name": "GPL-2.0+", "license-name": "GPL-2.0+",
"type": "media", "type": "media",
"requires": {
"MediaWiki": ">= 1.25.0"
},
"config": { "config": {
"PdfOutputExtension": "jpg", "PdfOutputExtension": "jpg",
"PdfHandlerDpi": 150, "PdfHandlerDpi": 150,