jenkins-bot has submitted this change and it was merged.
Change subject: Add type hint to pageCount()
......................................................................
Add type hint to pageCount()
Change-Id: Ia47b01d74addf394950c997117a5ed6c743befb7
---
M PdfHandler_body.php
1 file changed, 2 insertions(+), 2 deletions(-)
Approvals:
Gilles: Looks good to me, approved
jenkins-bot: Verified
diff --git a/PdfHandler_body.php b/PdfHandler_body.php
index 7cb9a51..5da7504 100644
--- a/PdfHandler_body.php
+++ b/PdfHandler_body.php
@@ -359,10 +359,10 @@
}
/**
- * @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;
--
To view, visit https://gerrit.wikimedia.org/r/249206
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Ia47b01d74addf394950c997117a5ed6c743befb7
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
