wikimedia/mediawiki-extensions-PdfHandler
1
0
Fork 0
mirror of https://gerrit.wikimedia.org/r/mediawiki/extensions/PdfHandler synced 2024-09-23 10:23:03 +00:00
Code Issues Packages Projects Releases Wiki Activity

Merge "Centralise configuration of Shellbox /bin/sh location"

Browse source
This commit is contained in:
jenkins-bot 2024-01-19 01:32:33 +00:00 committed by Gerrit Code Review
parent 11a07899fa 1e1e7ef135
commit a9945906c7
2 changed files with 2 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
extension.json
View file

@ -32,9 +32,6 @@
},
"PdfInfo": {
"value": "/usr/bin/pdfinfo"
},
"PdfHandlerShell": {
"value": "/bin/sh"
}
},
"MessagesDirs": {

4
includes/PdfImage.php
View file

@ -104,7 +104,7 @@ class PdfImage {
* @return array
*/
public function retrieveMetaData(): array {
global $wgPdfInfo, $wgPdftoText, $wgPdfHandlerShell;
global $wgPdfInfo, $wgPdftoText, $wgShellboxShell;
$command = MediaWikiServices::getInstance()->getShellCommandFactory()
->createBoxed( 'pdfhandler' )
@ -113,7 +113,7 @@ class PdfImage {
->routeName( 'pdfhandler-metadata' );
$result = $command
->params( $wgPdfHandlerShell, 'scripts/retrieveMetaData.sh' )
->params( $wgShellboxShell, 'scripts/retrieveMetaData.sh' )
->inputFileFromFile(
'scripts/retrieveMetaData.sh',
__DIR__ . '/../scripts/retrieveMetaData.sh' )