Browse Source

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

Thijs Kinkhorst 23 years ago
parent
commit
79898841d5
1 changed files with 3 additions and 3 deletions
  1. 3 3
      src/login.php

+ 3 - 3
src/login.php

@@ -113,10 +113,10 @@ $loginname_value = (isset($loginname) ? htmlspecialchars($loginname) : '');
 
 
 /* Display width and height like good little people */
 /* Display width and height like good little people */
 $width_and_height = '';
 $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\"";
     $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\"";
     $width_and_height .= " height=\"$org_logo_height\"";
 }
 }
 
 
@@ -182,4 +182,4 @@ do_hook('login_form');
 do_hook('login_bottom');
 do_hook('login_bottom');
 echo "</body>\n".
 echo "</body>\n".
      "</html>\n";
      "</html>\n";
-?>
+?>