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

Fix PhanTypeMismatchArgumentInternal error

Browse source 
Change-Id: I46fa1de4fa55add4e19db15d39233ec3d73eab5e
This commit is contained in:
Kunal Mehta 2018-02-24 17:57:17 -08:00
parent 0a049abdcd
commit 484c07ca62
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
includes/PdfHandler.php
View file

@ -94,7 +94,7 @@ class PdfHandler extends ImageHandler {
* @return array|bool
*/
function parseParamString( $str ) {
$m = false;
$m = [];
if ( preg_match( '/^page(\d+)-(\d+)px$/', $str, $m ) ) {
return [ 'width' => $m[2], 'page' => $m[1] ];