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

Merge "Use the PDF cropbox for rendering"

Browse source
This commit is contained in:
jenkins-bot 2022-08-05 17:45:19 +00:00 committed by Gerrit Code Review
parent 5719558376 b846970ae2
commit 7a14e5509d
2 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/PdfHandler.php
View file

@ -217,6 +217,8 @@ class PdfHandler extends ImageHandler {
"-dLastPage={$page}", "-dLastPage={$page}",
"-dSAFER", "-dSAFER",
"-r{$wgPdfHandlerDpi}", "-r{$wgPdfHandlerDpi}",
// CropBox defines the region that the PDF viewer application is expected to display or print.
"-dUseCropBox",
"-dBATCH", "-dBATCH",
"-dNOPAUSE", "-dNOPAUSE",
"-q", "-q",

4
scripts/retrieveMetaData.sh
View file

@ -24,6 +24,10 @@ runInfo() {
} }
runToText() { runToText() {
# CropBox defines the region that the PDF viewer application is expected to display or print.
# pdftotext's -cropbox was only introduced in poppler 21.03.0
# It also only works with -bbox so we cannot use it.
# Some text that is not visible in the PDF might thus be included in the output
"$PDFHANDLER_TOTEXT" \ "$PDFHANDLER_TOTEXT" \
file.pdf - > text file.pdf - > text
# Store exit code so we can use it later # Store exit code so we can use it later