jenkins-bot has submitted this change and it was merged.

Change subject: Add type hint to getPageDimensions()
......................................................................


Add type hint to getPageDimensions()

Change-Id: I2eecc73f3274f684ef8c426cb4ca5b3785284368
---
M PdfHandler_body.php
1 file changed, 1 insertion(+), 1 deletion(-)

Approvals:
  Gilles: Looks good to me, approved
  jenkins-bot: Verified



diff --git a/PdfHandler_body.php b/PdfHandler_body.php
index 7cb9a51..70db1fa 100644
--- a/PdfHandler_body.php
+++ b/PdfHandler_body.php
@@ -375,7 +375,7 @@
         * @param $page int
         * @return array|bool
         */
-       function getPageDimensions( $image, $page ) {
+       function getPageDimensions( File $image, $page ) {
                $data = $this->getMetaArray( $image );
                return PdfImage::getPageSize( $data, $page );
        }

-- 
To view, visit https://gerrit.wikimedia.org/r/249225
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I2eecc73f3274f684ef8c426cb4ca5b3785284368
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/PdfHandler
Gerrit-Branch: master
Gerrit-Owner: Aaron Schulz <[email protected]>
Gerrit-Reviewer: Gilles <[email protected]>
Gerrit-Reviewer: jenkins-bot <>

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to