Change is_int to is_numeric, solves [ 655060 ] Image size for login.php and

functions/display_messages.php

@@ -104,10 +104,10 @@ function logout_error( $errString, $errTitle = '' ) {
     }
     /* Display width and height like good little people */
     $width_and_height = '';
-    if (isset($org_logo_width) && is_int($org_logo_width) && $org_logo_width>0) {
+    if (isset($org_logo_width) && is_numeric($org_logo_width) && $org_logo_width>0) {
         $width_and_height = " WIDTH=\"$org_logo_width\"";
     }
-    if (isset($org_logo_height) && is_int($org_logo_height) && $org_logo_height>0) {
+    if (isset($org_logo_height) && is_numeric($org_logo_height) && $org_logo_height>0) {
         $width_and_height .= " HEIGHT=\"$org_logo_height\"";
     }