jenkins-bot has submitted this change and it was merged.
Change subject: Fix for non-trimmed mode
......................................................................
Fix for non-trimmed mode
Change-Id: Iacaf2c2a62884aa530da46304981dc345ec5b13e
---
M Score.body.php
1 file changed, 6 insertions(+), 6 deletions(-)
Approvals:
Brian Wolff: Looks good to me, approved
J: Looks good to me, but someone else must approve
jenkins-bot: Verified
diff --git a/Score.body.php b/Score.body.php
index 3201c4b..097b004 100644
--- a/Score.body.php
+++ b/Score.body.php
@@ -637,12 +637,12 @@
}
// Add the PNGs
- if ( file_exists( $factoryImageTrimmed ) ) {
- if ( $wgScoreTrim ) {
- $src = $factoryImageTrimmed;
- } else {
- $src = $factoryImage;
- }
+ if ( $wgScoreTrim ) {
+ $src = $factoryImageTrimmed;
+ } else {
+ $src = $factoryImage;
+ }
+ if ( file_exists( $src ) ) {
$dstFileName = "{$options['file_name_prefix']}.png";
$ops[] = array(
'op' => 'store',
--
To view, visit https://gerrit.wikimedia.org/r/62242
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: Iacaf2c2a62884aa530da46304981dc345ec5b13e
Gerrit-PatchSet: 1
Gerrit-Project: mediawiki/extensions/Score
Gerrit-Branch: master
Gerrit-Owner: Brion VIBBER <[email protected]>
Gerrit-Reviewer: Brian Wolff <[email protected]>
Gerrit-Reviewer: J <[email protected]>
Gerrit-Reviewer: jenkins-bot
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
