make image width an integer, not a real number

diff --git a/includes/Image.php b/includes/Image.php
index de089e3..324b51d 100644 (file)
--- 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 "";