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

git-svn-id: https://svn.code.sf.net/p/squirrelmail/code/trunk/squirrelmail@4276 7612ce4b-ef26-0410-bec9-ea0150e637f0

diff --git a/functions/display_messages.php b/functions/display_messages.php
index 580a62c70435ce82da76dd944f3a7961c0362306..d320a3652af2d26100ec10c7bfd2f21de9c29a03 100644 (file)
--- a/functions/display_messages.php
+++ b/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\"";
     }