From a1509c0fd37a62ff9e28d7f8626c5a49283fd831 Mon Sep 17 00:00:00 2001
From: Jens Frank <jeluf@users.mediawiki.org>
Date: Sun, 9 May 2004 10:55:47 +0000
Subject: [PATCH] make image width an integer, not a real number

---
 includes/Image.php | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/includes/Image.php b/includes/Image.php
index de089e342a..324b51d42a 100644
--- a/includes/Image.php
+++ b/includes/Image.php
@@ -122,6 +122,9 @@ class Image
 		global $wgImageMagickConvertCommand;
 		global $wgUseImageMagick;
 		global $wgUseSquid, $wgInternalServer;
+
+		$width = IntVal( $width );
+
 		$thumbName = $this->thumbName( $width );
 		$thumbPath = wfImageThumbDir( $thumbName )."/".$thumbName;
 		$thumbUrl  = $this->thumbUrl( $width );
@@ -133,7 +136,6 @@ class Image
 		}
 		
 		# Sanity check $width
-		$width = IntVal( $width );
 		if( $width <= 0 ) {
 			# BZZZT
 			return "";
-- 
2.20.1