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

Add type hint to pageCount()

Browse source 
Change-Id: Ia47b01d74addf394950c997117a5ed6c743befb7
This commit is contained in:
Aaron Schulz 2015-10-27 12:05:54 -07:00
parent 687d759d1b
commit ca786d9b80
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
PdfHandler_body.php
View file

@ -359,10 +359,10 @@ class PdfHandler extends ImageHandler {
}
/**
* @param $image
* @param File $image
* @return bool|int
*/
function pageCount( $image ) {
function pageCount( File $image ) {
$data = $this->getMetaArray( $image );
if ( !$data || !isset( $data['Pages'] ) ) {
return false;