jenkins-bot has submitted this change and it was merged.
Change subject: Remove unused local variable
......................................................................
Remove unused local variable
Change-Id: I7d94987da8d8c476e7b648e132baff9f7206fac8
---
M includes/filerepo/file/File.php
1 file changed, 1 insertion(+), 1 deletion(-)
Approvals:
Aaron Schulz: Looks good to me, approved
jenkins-bot: Verified
diff --git a/includes/filerepo/file/File.php b/includes/filerepo/file/File.php
index cf4ddf5..24361da 100644
--- a/includes/filerepo/file/File.php
+++ b/includes/filerepo/file/File.php
@@ -839,7 +839,7 @@
return null;
}
$extension = $this->getExtension();
- list( $thumbExt, $thumbMime ) = $this->handler->getThumbType(
+ list( $thumbExt, ) = $this->handler->getThumbType(
$extension, $this->getMimeType(), $params );
$thumbName = $this->handler->makeParamString( $params ) . '-' .
$name;
if ( $thumbExt != $extension ) {
--
To view, visit https://gerrit.wikimedia.org/r/99056
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I7d94987da8d8c476e7b648e132baff9f7206fac8
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/core
Gerrit-Branch: master
Gerrit-Owner: Siebrand <[email protected]>
Gerrit-Reviewer: Aaron Schulz <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
