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

Merge "Cast width, height, page to int as paranoia measure"

Browse source
This commit is contained in:
jenkins-bot 2016-06-21 20:01:21 +00:00 committed by Gerrit Code Review
parent 98a4be4ad6 e0ad7bd13d
commit b3a126f55e
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
PdfHandler_body.php
View file

@ -160,9 +160,9 @@ class PdfHandler extends ImageHandler {
return new TransformParameterError( $params );
}
$width = $params['width'];
$height = $params['height'];
$page = $params['page'];
$width = (int)$params['width'];
$height = (int)$params['height'];
$page = (int)$params['page'];
if ( $page > $this->pageCount( $image ) ) {
return $this->doThumbError( $width, $height, 'pdf_page_error' );