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

build: Remove unneeded suppression after ImageHandler::normaliseParams

Browse source 
Depends-On: I8d14e49340d30c56642422cd88169019dd2c4286
Change-Id: Ie4561840fe70e0ef92e8eec1c6edc335f0da6c1f
This commit is contained in:
Umherirrender 2022-04-06 21:21:02 +02:00
parent 9c8931a74f
commit 42c1ee7c0a
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
includes/PdfHandler.php
View file

@ -168,7 +168,6 @@ class PdfHandler extends ImageHandler {
return new TransformParameterError( $params );
}
// @phan-suppress-next-line PhanTypePossiblyInvalidDimOffset
$width = (int)$params['width'];
$height = (int)$params['height'];
$page = (int)$params['page'];