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

Remove deprecated wfProfileIn()/wfProfileOut()

Browse source 
Change-Id: Ibf6ddfa305565adcd751d7cc141d36cabf551b1d
This commit is contained in:
Max Semenik 2017-08-11 19:24:13 -07:00
parent 6f01ee2101
commit c4fd763a89
1 changed files with 0 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
PdfHandler.image.php
View file

@ -113,7 +113,6 @@ class PdfImage {
global $wgPdfInfo, $wgPdftoText;
if ( $wgPdfInfo ) {
wfProfileIn( 'pdfinfo' );
$cmd = wfEscapeShellArg( $wgPdfInfo ) .
" -enc UTF-8 " . # Report metadata as UTF-8 text...
" -l 9999999 " . # Report page sizes for all pages
@ -122,19 +121,16 @@ class PdfImage {
$retval = '';
$dump = wfShellExec( $cmd, $retval );
$data = $this->convertDumpToArray( $dump );
wfProfileOut( 'pdfinfo' );
} else {
$data = null;
}
// Read text layer
if ( isset( $wgPdftoText ) ) {
wfProfileIn( 'pdftotext' );
$cmd = wfEscapeShellArg( $wgPdftoText ) . ' '. wfEscapeShellArg( $this->mFilename ) . ' - ';
wfDebug( __METHOD__.": $cmd\n" );
$retval = '';
$txt = wfShellExec( $cmd, $retval );
wfProfileOut( 'pdftotext' );
if ( $retval == 0 ) {
$txt = str_replace( "\r\n", "\n", $txt );
$pages = explode( "\f", $txt );