Change is_int to is_numeric, because org_logo_width can be 100 or '100'.

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

diff --git a/src/login.php b/src/login.php
index a88fe31850d36995546c1f0d0ec305b40456d8e1..fba85c64d192d02c016d6480a73fffd10b5edff0 100644 (file)
--- a/src/login.php
+++ b/src/login.php
@@ -113,10 +113,10 @@ $loginname_value = (isset($loginname) ? htmlspecialchars($loginname) : '');
 
 /* 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\"";
 }
 
@@ -182,4 +182,4 @@ do_hook('login_form');
 do_hook('login_bottom');
 echo "</body>\n".
      "</html>\n";
-?>
\ No newline at end of file
+?>